Assertion based formal verification using Jaspergold

• المؤلف الرئيسي: Tangirala Raghavsimha
• مؤلفون آخرون: Gwee Bah Hwee
• التنسيق: Theses and Dissertations
• اللغة: English
• منشور في: 2019
• الموضوعات: DRNTU::Engineering::Electrical and electronic engineering::Integrated circuits
• الوصول للمادة أونلاين: http://hdl.handle.net/10356/76792
• المؤسسة: Nanyang Technological University

SoC verification today is becoming the bottleneck to the entire design flow in terms of cost and effort. In the present era of automation and IoT, smart connected devices handle vast personal information and communicate through a network of billion computing devices, effecting a rapid change in the...