Blog: An Introduction to Assertion-Based Verification – Part 2
In part 2 we will develop the use of implication in assertions and its importance in assertions, as well as use in simulation....
20 January, 2020
Archive
Article: Uses And Limitations Of AI In Chip Design
OneSpin’s CEO explains what’s changing in AI, where it’s being used, and what still has to be fixed....
15 January, 2020
Article: Auto Industry Shifts Gears On Where Data Gets Processed
How to manage massive amounts of data in real time still isn’t clear, but it can’t be done in the cloud....
09 January, 2020
Article: Open Source Hardware Risks
There’s still much work to be done to enable an open source hardware ecosystem....
09 January, 2020
Blog: Linting vs. Design Rule Checking – What’s the difference?
Our Applications Specialist David Clift discusses the difference between Linting and Design Rule Checking, and their many benefits....
06 January, 2020
Blog: Agnisys Blog Post – Repurposing von Neumann Architecture with SRAM-based Register Files
The conventional von Neumann architecture has been the workhorse of computing for several decades, but with the advent of AI applications and big data the...
03 January, 2020
Article: Agnisys – Field Error Signal
To enable the user to debug easily, and incorporate this functionality in RTL, IDesignSpec (IDS) generates the required error signals....
02 January, 2020
Article: Improving Algorithms With High-Level Synthesis
New directions for a commonly used technology....
02 January, 2020
Article: Agnisys – Board Prototyping
Given the importance of board prototyping, ISequenceSpec (ISS) from Agnisys provides a solution to automatically generate sequences for boards....
01 January, 2020
Article: Crossed Wires On Domains
How well understood are domain crossings, especially when it involves multiple domains? They require a combination of methodology and tools....
20 December, 2019