Tools bridge chip design, verification with shared database
Keywords: behavioural indexing chip design formal verification RTL modelling
[Summary of tips] Jasper Design Automation Inc. has upgraded its ActiveDesign and JasperGold tools with capabilities that the company claims bridge the divide between chip design and verification by sharing a common, persistent knowledge base.Jasper's ActiveDesign with behavioural indexing lets users design, concurrently modify and verify their ......|
Already registered? Login to view complete content.
|
|
||||||||||||||
|
||||||||||||||
Strange modes of transport and other "stuff"
Someone just pointed me at a YouTube video that claims to show the world's first e-powered multicopter flight...















