19:12IDesignSpec Executable Register Specification - AgnisysMHT Optical Sales Gr.18 viewsView & Download
5:17How to create parameterized specification for semiconductor IP DesignAgnisys Inc.584 viewsView & Download
5:57How To Automatically Generate UVM Code From A Specification With IDesignSpecAgnisys Inc.1.1K viewsView & Download
15:50DAC 2019 Demo - Register Generator for Design Register Memory Managementaldecinc994 viewsView & Download
20:22FortranCon2021: Your Requirements Specification as an Executable Test SuiteFortranCon382 viewsView & Download
9:50IEEE EuroS&P 2021 - DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Pr..IEEE European Symposium on Security and Privacy109 viewsView & Download