SEMICONDUCTOR DESIGN AND VERIFICATION ARTICLES

Our Latest Blogs

Getting Started with IP-XACT for IP Design

Introduction IP-XACT stands for Intellectual Property exchange-Advanced Configuration and Integration of IP components. It is an IEEE standard (IEEE 1685)...

5 Reasons for Using an Open Source Register Automation Tool | Agnisys

Register automation is an integral part of IP and SoC development. Long ago,  design, verification, firmware, and documentation teams preferred...

The Significance of the Register Model in UVM

Introduction In the field of hardware verification, the Universal Verification Methodology (UVM) is a powerful framework that provides a systematic...

Leveraging SystemRDL for Efficient Register Modeling in Next-Gen SoCs

SystemRDL, or System Register Description Language, is a specialized hardware description language (HDL) used for specifying registers in digital systems...

Empowering Designers: The User-Friendly World of IDesignSpec GUI Options

Introduction The IDesignSpec™ Suite by Agnisys stands as a versatile solution, simplifying the capture of hardware/software specifications in diverse formats...

Formal Verification through ARV™-Formal

In the dynamic landscape of Very Large Scale Integration (VLSI) design, the ever-growing complexity of Application-Specific Integrated Circuits (ASICs) has...

ARV™ FORMAL Verification

Formal verification is a crucial aspect of ensuring the reliability and safety of systems. ARV stands for Automatic Register Verification...

Achieving Functional Safety Standards with Agnisys Products Suite

Agnisys is an Electronics Design Automation (EDA) company offering tools to automate specification to IP and SoC design and development...
Scroll to Top