Skip to content

Agnisys

Agnisys, August 3, 2023

An Introduction to Correct-by-Construction Golden Specification-based IP/SoC Development

This webinar explores front-end automation advances that encompass an innovative register information management system to capture hardware functionality and addressable register map in a single… Read More »An Introduction to Correct-by-Construction Golden Specification-based IP/SoC Development

Agnisys, August 18, 2022

Centralized Register Design and Verification from a Golden Specification

Learn how to bring the ease of a document editor to your system architects and designers to create an executable specification using IDesignSpec™. This specification… Read More »Centralized Register Design and Verification from a Golden Specification

agnisys, april 28, 2022

Formal Verification of Registers and SoC Assembly in Collaboration with Jasper™ and OneSpin™

Learn how to formally verify your design by automatically generating SystemVerilog Assertions (SVA) for your block-level register specifications, chip-level RTL, and RTL connectivity at the… Read More »Formal Verification of Registers and SoC Assembly in Collaboration with Jasper™ and OneSpin™

%d bloggers like this: