The term assert is a Java keyword that was introduced into the language with the JDK 1.4 release in February 2002. Java's assert keyword is unique in two very interesting ways: The Java assert is ...

The ever growing complexity of systems-on-a-chip calls for more and more sophisticated methods of their design and verification. The major gain in SoC design efficiency resulted from wide adoption of ...

Recent assertion-standardization achievements hold the promise of improving verification efficiency and allowing formal verification to work with simulation. There are tools that support assertion ...

The SystemVerilog standard is the result of an industry-wide effort to extend the Verilog language in a consistent way to include enhanced modeling and verification features. By adding verification ...

In my last post, I wrote about hints provided in NetBeans 7.4 beta that improve a developer’s ability to avoid nasty runtime issues with Java exception handling. In this post, I look at how two more ...