Recommended Articles – February 2016

• March 16th, 2016
• 4 Comments

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 to do and what’s not safe to do when using formal methodologies: EDN: Anders Nordstrom: Don’t over-constrain in formal property verification (FPV) flows High speed serial communication protocols like Ethernet, […]

• algorithms , debug , e-Language , formal verification , FPGA , recommended articles , UVM