SystemVerilog Assertions: Past, Present, and Future SVA Standardization Experience
Doron Bustan, Dmitry Korchemny, Erik Seligman, Jin Seok Yang · IEEE Design & Test of Computers · 2012
This paper provides insight into the development of System Verilog Assertions standardization efforts. Specifically it covers the evolution from Accellera 3.1a version to its current state of standardization (the upcoming SVA2012 release). Insight into the new features, changes and the reasons for the same exposes users of SVA to the direction the standard is evolving.