Blog Review: Nov. 24

Cadence's Paul McLellan introduces the theory and practice of datapath formal verification and explores two use cases of dot-product accumulate systolic design and hashing design. Siemens EDA's Rich Edelman shows that constructing an in-order UVM scoreboard doesn't have to be a difficult or complex task, and certainly simpler than replacing a laptop's keyboard. Synopsys' Gordon Cooper con... » read more