Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2010.31 ◽

2010 ◽

Author(s):

Farn Wang

Keyword(s):

Software Verification ◽

Decision Diagrams ◽

Download Full-text

Word-level Decision Diagrams

Graphenbasierte Funktionsdarstellung - Leitfäden der Informatik ◽

10.1007/978-3-663-01442-3_4 ◽

1998 ◽

pp. 51-58

Author(s):

Rolf Drechsler ◽

Bernd Becker

Keyword(s):

Decision Diagrams ◽

Download Full-text

A Practical Approach to Word Level Model Checking of Industrial Netlists

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_43 ◽

2008 ◽

pp. 446-458 ◽

Author(s):

Per Bjesse

Keyword(s):

Model Checking ◽

Practical Approach ◽

Download Full-text

Word level model checking

Mathematical Foundations of Computer Science 1996 - Lecture Notes in Computer Science ◽

10.1007/3-540-61550-4_136 ◽

1996 ◽

pp. 1-1

Author(s):

Edmund M. Clarke

Keyword(s):

Model Checking ◽

Download Full-text

Some remarks on linear transform of variables in representation of adders by word-level expressions and spectral transform decision diagrams

Proceedings 32nd IEEE International Symposium on Multiple- Valued Logic ◽

10.1109/ismvl.2002.1011078 ◽

2003 ◽

Author(s):

R.S. Stankovic ◽

J.T. Astola

Keyword(s):

Decision Diagrams ◽

Spectral Transform ◽

Linear Transform

Download Full-text

Word-level decision diagrams, WLCDs and division

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1109/iccad.1998.743094 ◽

2002 ◽

Author(s):

C. Scholl ◽

B. Becker ◽

T.M. Weis

Keyword(s):

Decision Diagrams ◽

Download Full-text

Minimization of Word-Level Decision Diagrams

Integration ◽

10.1016/s0167-9260(02)00047-0 ◽

2002 ◽

Vol 33 (1-2) ◽

pp. 39-70 ◽

Author(s):

Rolf Drechsler ◽

Wolfgang Günther ◽

Stefan Höreth

Keyword(s):

Decision Diagrams ◽

Download Full-text

Word-Level Decision Diagrams

Spectral Interpretation of Decision Diagrams ◽

10.1007/0-387-21734-7_8 ◽

2006 ◽

pp. 145-166

Keyword(s):

Decision Diagrams ◽

Download Full-text

Linear Word - Level Decision Diagrams

Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook ◽

10.1201/9781420037586.ch37 ◽

2005 ◽

pp. 757-788

Keyword(s):

Decision Diagrams ◽

Download Full-text

Dynamic minimization of word-level decision diagrams

Proceedings Design, Automation and Test in Europe ◽

10.1109/date.1998.655921 ◽

2002 ◽

Author(s):

S. Horeth ◽

R. Drechsler

Keyword(s):

Decision Diagrams ◽

Download Full-text

On the representational power of bit-level and word-level decision diagrams

Proceedings of ASP-DAC '97: Asia and South Pacific Design Automation Conference ◽

10.1109/aspdac.1997.600304 ◽

2002 ◽

Author(s):

B. Becker ◽

R. Drechsler ◽

R. Enders

Keyword(s):

Decision Diagrams ◽

Representational Power

Download Full-text