Accurate ternary-valued compiled logic simulation of complex logic networks by OTDD composition

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by G. Jennings

28th Annual Simulation Symposium

Santa Barbara, California

April 25-April 28

ISBN: 0-8186-7091-6

	ASCII Text	x
	G. Jennings, "Accurate ternary-valued compiled logic simulation of complex logic networks by OTDD composition," Simulation Symposium, Annual, pp. 303, 28th Annual Simulation Symposium, 1995.

	BibTex	x
	@article{ 10.1109/SIMSYM.1995.393568, author = {G. Jennings}, title = {Accurate ternary-valued compiled logic simulation of complex logic networks by OTDD composition}, journal ={Simulation Symposium, Annual}, volume = {0}, year = {1995}, issn = {1080-241X}, pages = {303}, doi = {http://doi.ieeecomputersociety.org/10.1109/SIMSYM.1995.393568}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Simulation Symposium, Annual TI - Accurate ternary-valued compiled logic simulation of complex logic networks by OTDD composition SN - 1080-241X SP EP A1 - G. Jennings, PY - 1995 KW - circuit analysis computing; ternary logic; digital simulation; logic CAD; circuit diagrams; performance evaluation; ternary-valued compiled logic simulation; complex logic networks; OTDD composition; combinational U inaccuracies; reconvergent fanout; incompletely-specified functions; Kleenean strong ternary logic; Ordered Ternary Decision Diagram; standard ISCAS 85 benchmarks VL - 0 JA - Simulation Symposium, Annual ER -

G. Jennings, Div. of Comput. Eng., Lulea Univ. of Technol., Sweden

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SIMSYM.1995.393568

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.

Index Terms:

circuit analysis computing; ternary logic; digital simulation; logic CAD; circuit diagrams; performance evaluation; ternary-valued compiled logic simulation; complex logic networks; OTDD composition; combinational U inaccuracies; reconvergent fanout; incompletely-specified functions; Kleenean strong ternary logic; Ordered Ternary Decision Diagram; standard ISCAS 85 benchmarks

Citation:

G. Jennings, "Accurate ternary-valued compiled logic simulation of complex logic networks by OTDD composition," ss, pp.303, 28th Annual Simulation Symposium, 1995

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.