Developing effective hardware security requirements is one of the trickiest aspects of building trustworthy electronic products. Even highly skilled and experienced teams don’t always get it right.

"Ambiguous requirements create failed projects" is a project failures law of nature. A shocking number of IT projects die an agonizing death because stakeholders didn't properly define requirements.

Standardization work is underway to develop assertion languages (for example, PSL and SystemVerilog Assertions) to address the shortcomings of natural language specification. The goal in creating ...