Timing Modeling and Integrated Verification in Naja
Timing aware netlist optimisation with Logic Equivalence Checking
ProjectID
Naja-LEC-TimingModelEngine
Acronym
Naja-LEC-TimingModelEngine
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: France
NGI Project: NGI Zero Commons Fund
Status: Early research demo
Category: Trustworthy hardware and manufacturing
check other similar innovations
Crowdbeamer: The first presentation system that empowers the audience
Crowdbeamer is a patented solution that allows presenters in meetings and conferences to share their slides and multimedia in real-time...
Nitrokey
Open hardware for encryption and authentication
Every Door
Efficient and customizable mobile OpenStreetMap editor
DMT
Implementation of MOSFET Parameter Extraction Flow for Sky130 into DMT