1993
DOI: 10.1007/3-540-56944-8_50
|View full text |Cite
|
Sign up to set email alerts
|

Verification of Switch-level designs with many-valued logic

Abstract: Abstract. This p a per i sa n a p proacht oa u tomatedv ericationo fc i r cuitsrepresenteda sswitchleveld esigns.S witchlevelm odels(SLM)a reaw ellestablished frameworkfor modelling l o wlevel p r operties o f c i r cuits. W e u s e m anyvalued propositional l o gic t or e p resenta suitable v ariant o fS L M. L o gical p r o perties o f circuits ( g atelevel) canbe expressedin a standard w ay i nt h e samelogic. A s a resultw ec a ne xpress s o undness o f s w itchleveldesigns w r tt og a televelspecications … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

1993
1993
2018
2018

Publication Types

Select...
6
1

Relationship

0
7

Authors

Journals

citations
Cited by 24 publications
(2 citation statements)
references
References 7 publications
0
2
0
Order By: Relevance
“…Here is an example, taken from [Hayes, 1986;Hähnle and Kernig, 1993]: An MOS transistor has different signal strengths at source and drain terminals, due to a physical effect called degradation. Here is an example, taken from [Hayes, 1986;Hähnle and Kernig, 1993]: An MOS transistor has different signal strengths at source and drain terminals, due to a physical effect called degradation.…”
Section: What Is the Meaning 0/ Truth Values?mentioning
confidence: 99%
“…Here is an example, taken from [Hayes, 1986;Hähnle and Kernig, 1993]: An MOS transistor has different signal strengths at source and drain terminals, due to a physical effect called degradation. Here is an example, taken from [Hayes, 1986;Hähnle and Kernig, 1993]: An MOS transistor has different signal strengths at source and drain terminals, due to a physical effect called degradation.…”
Section: What Is the Meaning 0/ Truth Values?mentioning
confidence: 99%
“…The literature, which was already large, has grown considerably. Many-valued systems are now being applied in fields like circuit verification [42], analysis of communication with feedback [67], [68], logic programming [28], [20], [29], artificial intelligence [33], program verification [9], non-monotonic reasoning [94], [23], [91], natural language processing [8], [88].…”
Section: How This Survey Is Organizedmentioning
confidence: 99%