DocumentCode :
2602258
Title :
Accurate ternary-valued compiled logic simulation of complex logic networks by OTDD composition
Author :
Jennings, Glenn
Author_Institution :
Div. of Comput. Eng., Lulea Univ. of Technol., Sweden
fYear :
1995
fDate :
9-13 Apr 1995
Firstpage :
303
Lastpage :
310
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Simulation Symposium, 1995., Proceedings of the 28th Annual
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-8186-7091-6
Type :
conf
DOI :
10.1109/SIMSYM.1995.393568
Filename :
393568
Link To Document :
بازگشت