Plugin Environment support in IDS-NG

Introduction

IDS-NG is an Integrated Development System for automating Spec to SoC flow allowing Design, Verification, Validation, Firmware, and Documentation. It provides users the flexibility

Integration of 3rd party RTL in IDS-aggregation logic

Introduction

IDS-generated aggregation logic is used to control the slave, based on the input from the master, where it selects which block will operate.

Reset values at soft reset in a register field

Introduction

In a digital system, a reset is an action to clear any pending process and brings a system to normal condition or an initial

Data consistency on adding delays/stages in a bus read/write event

Introduction

IDesignSpec™ supports properties like wr_stb_stages and addr_decode_stages at the block/register level that gives the flexibility of adding/inserting delays in the read-back path and address

The Impact of a Specification-Driven Correct-by-Construction Approach on Design and Verification with Agnisys

Dan is joined by Anupam Bakshi, founder and CEO of Agnisys. Anupam has more than two decades of experience implementing a wide range of products and services in

What’s New and What’s Next in Specification Automation?

Over the last few months, I’ve primarily shared two kinds of posts on this blog. The Design Automation Conference (DAC) in December and the transition to the New Year

Expanding the Scope of Specification Automation

Late last year, I published a blog post that summarized what had transpired for Agnisys over the course of 2021. That was an occasion to think about how much our

Winding Up an Eventful Year

As we close in on the final days of 2021, I can’t help but think back over the events of the year and offer a few observations. At the front