PSL - Verification Horizons

Assertions and benefits of abstractions in Formal Verification

September 11, 2024

How are assertions specified? Assertions are typically specified using languages like SystemVerilog Assertions (SVA) or Property Specification Language (PSL). These…

By Nicolae Tusinschi

3 MIN READ

Part 10: The 2020 Wilson Research Group Functional Verification Study

January 20, 2021

IC/ASIC Language and Library Adoption Trends This blog is a continuation of a series of blogs related to the 2020…

By Harry Foster

3 MIN READ

Part 11: The 2012 Wilson Research Group Functional Verification Study

August 26, 2013

Verification Techniques & Technologies Adoption Trends (Continued) This blog is a continuation of a series of blogs that present the…

By Harry Foster

5 MIN READ

Part 9: The 2012 Wilson Research Group Functional Verification Study

August 12, 2013

Language and Library Trends (Continued) This blog is a continuation of a series of blogs that present the highlights from…

By Harry Foster

3 MIN READ