Recommended Articles – February 2016

Anders Nordstrom has written one of the best articles I’ve read about the effects of over-constraining properties in formal verification. The author describes what’s safe

Read More
Aurelian Ionel Munteanu March 16, 2016 4 Comments

Physical Coding Library

AMIQ released the Physical Coding Library on GitHub. The Physical Coding Library provides SystemVerilog/UVM implementations of line coding schemes that are common to all major

Read More
Mihai Stoian February 25, 2016 No Comments