Optimizing Assertion Sets Using Logic Synthesis Techniques Год выпуска: 2013Автор: Danny SarrafИздательство: LAP Lambert Academic PublishingСтраниц: 120ISBN: 9783659498879Описание The result looked at first as unexpected, however, an attentive reflection reveals that in a formal verification setting, adding more dependencies to an assertion reduces the number of states that the formal verification tool needs to explore in order to prove whether the assertion is true or false. This also explains why the merged Karnaugh maps did exceptionally well while the heuristics test did poorly in comparison. In a formal setting, merging Karnaugh maps allowed IFV to prove the assertion set 4 times faster than the initial non-optimized set of non-redundant assertions.
Похожие книги
Kathryn Critchley. Coaching Skills Training Course: Business and Life Coaching Techniques for Improving Performance Using NLP and Goal Setting: Your Toolkit to Coaching... Free Downloadable Templates, Ready to Use. – М.: Universe of Learning Ltd., 2010. – 204 с. Wiley. Wall Street Journal Interactive for set use, with password card for website access. – М.: , 2011. – 0 с. Harvard Business Review (HBR). Using Logical Techniques to Making Better Decisions. – М.: , 1983. – 584 с. Andrew Rushton. VHDL for Logic Synthesis. – М.: John Wiley and Sons, Ltd, 2011. – 484 с. Maninder Jeet Kaur,Moin Uddin and Harsh Verma. Capacity Analysis of Cognitive Radio using Soft Computing Techniques. – М.: LAP Lambert Academic Publishing, 2012. – 172 с. Renan Fonseca. Test and Reliability of SRAM Memories. – М.: LAP Lambert Academic Publishing, 2012. – 140 с. Bashar Mudhafar Ahmed and Raad Sami Fyath. Dual Polarization WDM Systems Using CO-OFDM Technique. – М.: Scholars' Press, 2014. – 112 с. Shun-Cheng Hsu. Improved Performance of AlGaInP LEDs Using Various Process Techniques. – М.: LAP Lambert Academic Publishing, 2010. – 132 с. Neelam Swami. Synthesis of High Performance Low Power CMOS Circuit Design. – М.: LAP Lambert Academic Publishing, 2012. – 92 с. Srinivasa Rao Nelamarri and Anand P. Pathak. Synthesis and Characterization of nc-Ge using Ion Beam techniques. – М.: LAP Lambert Academic Publishing, 2011. – 132 с. Neveen Metwally. Carnation Production Using Soilless Culture Technique. – М.: LAP Lambert Academic Publishing, 2011. – 140 с. Alireza Shahabfar. Construction of an Agricultural Drought Monitoring System Using Remote Sensing Techniques. – М.: LAP Lambert Academic Publishing, 2010. – 192 с. Amitabh Baruah. Agropedological Evaluation of Soils Using Remote Sensing Technique. – М.: LAP Lambert Academic Publishing, 2011. – 104 с. Kaptingei Solomon Too. The Use of Drama Techniques in Teaching of English Language. – М.: LAP Lambert Academic Publishing, 2012. – 100 с. Farhana Shahid and Ubaid Ur Rahman. Detection Of Heart Disease Using Decision Tree Technique. – М.: LAP Lambert Academic Publishing, 2014. – 64 с. Khamael Abbas Al-Dulaimi. Fingerprint Recognition System Using Image Processing Technique. – М.: LAP Lambert Academic Publishing, 2013. – 88 с. Danny Sarraf. Optimizing Assertion Sets Using Logic Synthesis Techniques. – М.: LAP Lambert Academic Publishing, 2013. – 120 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Светлана, 07.10 Спасибо за дипломную работу, ее оценили на "отлично", защитилась на четверку! Спасибо за помощь!
