Modeling and simulation of circuits with shared structurally synthesized BDDs

Autor: Ubar, Raimund, Jürimägi, Lembit, Raik, Jaan, Viies, Vladimir
Zdroj: In Microprocessors and Microsystems February 2017 48:56-61
Databáze: ScienceDirect