LIP6 VLSI Tools
Website
https://coriolis.lip6.frLogical validation of ASIC layouts
ProjectID
VLSI-tools
Acronym
VLSI-tools
Additional Info
- Vendor stores
- Nix Flake
- https://github.com/ngi-nix/coriolis
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: France
NGI Project: NGI assure
Status: Early research demo
Category: Trustworthy hardware and manufacturing
check other similar innovations
SCION-Pathdiscovery
Secure and reliable decentralized storage platform
Verified Scion
Verified Secure Routing with verified Scion will demonstrate the feasibility of developing an NGI that is provably secure by formally...
SeedVault Integrity
Add integrity checking and WebDAV support to SeedVault Android backups
SCoP
SCoP is an open, secure, and resource-efficient infrastructure to engineer a modern basis for open messaging (for existing and emerging...
