vix.ing
·
top
·
new
·
best
·
stats
·
spec
Bryant
Graph-Based Algorithms for Boolean Function Manipulation
1986/08/01 by
Bryant
· 132 citations
Engineering
·
Computer Science
·
#Low-power high-performance VLSI design
#Formal Methods in Verification
#VLSI and Analog Circuit Testing