VLSI-tools

Logical validation of ASIC layouts
Is freely licensed? ✅
Website https://coriolis.lip6.fr
Source https://github.com/lip6
NLNet grant pages