Title :
Accurate ternary-valued compiled logic simulation of complex logic networks by OTDD composition
Author_Institution :
Div. of Comput. Eng., Lulea Univ. of Technol., Sweden
Abstract :
We describe a technique toward constructing a ternary-valued logic simulator which is free of combinational `U´-inaccuracies. The method is accurate in the presence of reconvergent fanout, and is described solely in terms of the composition of incompletely-specified functions under Kleenean strong ternary logic. We propose an implementation based on the Ordered Ternary Decision Diagram (OTDD), discuss its limitations, and examine its performance on standard ISCAS 85 benchmarks
Keywords :
circuit analysis computing; circuit diagrams; digital simulation; logic CAD; performance evaluation; ternary logic; Kleenean strong ternary logic; OTDD composition; Ordered Ternary Decision Diagram; combinational U inaccuracies; complex logic networks; incompletely-specified functions; reconvergent fanout; standard ISCAS 85 benchmarks; ternary-valued compiled logic simulation; Computational modeling; Computer networks; Computer simulation; Discrete event simulation; Equations; Inspection; Libraries; Logic design; Multivalued logic; Process design;
Conference_Titel :
Simulation Symposium, 1995., Proceedings of the 28th Annual
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-8186-7091-6
DOI :
10.1109/SIMSYM.1995.393568
