vix.ing
·
top
·
new
·
best
·
stats
·
spec
Akers
Binary Decision Diagrams
1978/06/01 by
Akers
· 23 citations
Computer Science
·
Engineering
·
#VLSI and Analog Circuit Testing
#Formal Methods in Verification
#Embedded Systems and FPGA Applications