Blog: Active-HDL Hints & Tips
This blog explains solving a problem for an Active-HDL customer....
02 June, 2020
Archive
Blog: Code Coverage and Functional Coverage – What’s the Difference?
This blog explores differences between Code Coverage and Functional Coverage with particular focus using Aldec’s Riviera-PRO with SystemVerilog constructs...
14 May, 2020
Blog: Methodology: A must for complex FPGA design
This blog looks into how to achieve better coverage using VHDL and the features of OSVVM....
01 May, 2020
Blog: Achieving Better Coverage with VHDL – Part 1
This blog looks into how to achieve better coverage using VHDL and the features of OSVVM....
17 April, 2020
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
Blog: An Introduction to Assertion-Based Verification – Part 1
Part 1 explains what an assertion is, talks about the languages and develops the basic terms and ideas....
19 December, 2019
Blog: OneSpin Blog – CEO Perspective – Innovation Requires IC Integrity
OneSpin are committed to assuring that IC integrity standards are being met when developing functionally correct, safe, trusted and secure designs....
16 December, 2019
Blog: Aldec Blog – When is robustness verification DO-254 projects complete?
Since we are unable to discover and verify the design against all abnormal conditions, the main question is: when is robustness verification truly complete?...
10 December, 2019
Blog: Agnisys Blog Post – Register Automation using Machine Learning
Can we accurately predict the register description (architecture, data flow, register name, field size, default value, offset and access type) by identifying patterns in plain...
29 November, 2019
Blog: Aldec Blog Post – HW/SW Co-Verification Environment for Hybrid Systems Using QEMU
Aldec's Senior Hardware Systems Designer Wojtek Lewandowski discusses HW/SW Co-Verification Environment for Hybrid Systems Using QEMU...
01 November, 2019