Change search
ReferencesLink to record
Permanent link

Direct link
Computation of prime cubes of a complex boolean function based on BDDs - continuation on probability of time unfolded prime cubes
Norwegian University of Science and Technology, Faculty of Information Technology, Mathematics and Electrical Engineering, Department of Electronics and Telecommunications.
2013 (English)MasteroppgaveStudent thesis
Abstract [en]

With decreasing feature size and increasing complexity of integrated circuits, effective tools for verification and testing are in high demand. When testing large and complex state machines, effective tools for calculating probabilities of future states are often needed. The PState program calculates these with an adapted form of Binary Desicion Diagrams. This project is part of an effort to extend this to search for functions to reach these states by extracting prime cube covers of these BDDs. This report documents my work with the PState program, the adaptation of the cube extraction algorithm, and attempting to unfold the computation over several cycles of a state machine, the problems encountered, and outlines possible ways to solve these challenges.

Place, publisher, year, edition, pages
Institutt for elektronikk og telekommunikasjon , 2013. , 33 p.
URN: urn:nbn:no:ntnu:diva-22712Local ID: ntnudaim:10006OAI: diva2:651714
Available from: 2013-09-26 Created: 2013-09-26 Last updated: 2013-09-26Bibliographically approved

Open Access in DiVA

fulltext(472 kB)209 downloads
File information
File name FULLTEXT01.pdfFile size 472 kBChecksum SHA-512
Type fulltextMimetype application/pdf
cover(184 kB)12 downloads
File information
File name COVER01.pdfFile size 184 kBChecksum SHA-512
Type coverMimetype application/pdf
attachment(2 kB)7 downloads
File information
File name ATTACHMENT01.zipFile size 2 kBChecksum SHA-512
Type attachmentMimetype application/zip

By organisation
Department of Electronics and Telecommunications

Search outside of DiVA

GoogleGoogle Scholar
Total: 209 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 26 hits
ReferencesLink to record
Permanent link

Direct link