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
Misskey
Misskey federation and ActivityPub compliance
Blink for Windows
Modern cross-platform SIP client
SID:SO&C
A fair and transparent market needs a solution that puts the user (not a platform) in charge and ensure the...
Go Aries – Enabling CL-Support on Aries Framework Go
The Go Aries! project focuses on enabling CL signatures and -credentials within the Aries Framework Go to make it compatible...