ACM DL

SIGN IN   SIGN UP

 
ACM Home Page ACM Digital Library Home Page

Application of linearly transformed BDDs in sequential verification

Full Text: PdfPdf Buy this ArticleBuy this Article
Authors: Wolfgang Günther Institute of Computer Science, Albert-Ludwigs-University, 79110 Feiburg im Breisgau, Germany
Andreas Hett Institute of Computer Science, Albert-Ludwigs-University, 79110 Feiburg im Breisgau, Germany
Bernd Becker Institute of Computer Science, Albert-Ludwigs-University, 79110 Feiburg im Breisgau, Germany
Published in:
· Proceeding
ASP-DAC '01 Proceedings of the 2001 Asia and South Pacific Design Automation Conference
ACM New York, NY, USA ©2001
table of contents ISBN:0-7803-6634-4 doi>10.1145/370155.370286
Application of linearly transformed BDDs in sequential verification Published by ACM 2001 Article
Bibliometrics Data  Bibliometrics
· Downloads (6 Weeks): 0
· Downloads (12 Months): 1
· Citation Count: 0


Tools and Resources

Share:

|
feedback Feedback | Switch to single page view (no tabs)

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2012 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player
The ACM Guide to Computing Literature
All Tags
Export Formats
 
 
Save to Binder