Login / Signup
Using 2-domain partitioned OBDD data structure in an enhanced symbolic simulator.
Tao Feng
Li-C. Wang
Kwang-Ting Cheng
Chih-Chan Lin
Published in:
ACM Trans. Design Autom. Electr. Syst. (2005)
Keyphrases
</>
data structure
domain specific
domain independent
efficient data structures
deterministic domains
test bed
simulation model
boolean functions
domain knowledge
index structure
domain experts
model checking
symbolic data