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...