Author's Latest Posts


Finding Code Problems Before High-Level Synthesis


In order to significantly speed up verification and to handle complex algorithms that change daily, many companies are turning to a High-Level Synthesis (HLS) methodology. But, it is extremely important that the high-level C++ model is correct. In addition, the C++ language has ambiguities that can be tough to catch during simulation. Even if correctly written, the high-level model could be cod... » read more

AI Chip DFT Techniques For Aggressive Time-To-Market


AI chips have aggressive time-to-market goals. Designers can shave significant time off of DFT and silicon bring up using the techniques described in this paper. Leading AI semiconductor companies have already had success with Tessent DFT tools. To read more, click here. » read more

What Is Generative Design And Why Do You Need It?


The automotive industry is undergoing an electronic revolution. As design complexity increases, the legacy methods and tools used by OEMs are struggling to meet the demands of this new automotive landscape. Engineers are being asked to produce more sophisticated designs under a perfect storm of complexity, cost, and change management pressures. Generative design empowers automotive design teams... » read more

Formal Apps Take The Bias Out Off Functional Verification


The Questa Formal Apps automate common formal analysis tasks, providing a multiple set of tools for formal verification experts and novices alike. Each of these automated tasks are integrated into a holistic, formal analysis workflow that allows you to use what you need when you need it. This paper describes common verification challenges and how specific Questa Formal Apps handle them along wi... » read more

Closing Functional And Structural Coverage On RTL Generated By High-Level Synthesis


Most hardware design teams have a verification methodology that requires a deep understanding of the RTL to reach their verification goals, but this type of methodology is difficult to apply to the machine generated RTL from High-level Synthesis (HLS). This paper describes innovative techniques to use with existing methodologies, for example the Universal Verification Methodology (UVM), to clos... » read more

ON Semiconductor Conquers Verification Challenges


Motor controller IC design for automotive applications, such as power mirror, seats, door locks, and door lift control, creates exceptional verification challenges. Particularly because these ICs must work for over 10 years and they live in harsh environments including -40° C to 150° C temperature ranges, voltages ranging from 7V to 40V, and potential electrostatic discharge and electromagnet... » read more

Smoke Testing A High-Level Synthesis Design


Designing hardware using C++ and C++ testbenches brings orders of magnitude speed-up to simulation. But after High-Level Synthesis (HLS), teams need a way to quickly ensure that the newly-generated RTL is functionally the same as the original untimed C++. They don’t want to create an RTL testbench in order to make this comparison. What teams need is an automated smoke test to quickly make the... » read more

Low Power Apps: Shaping The Future Of Low Power Verification


This paper describes how verification and design engineers can make use of UPF 3.0 information model-based HDL and Tcl APIs to write useful low-power apps. We present low-power apps that can be used to solve complex verification issues and provide case studies and examples to demonstrate usage. To read more, click here. » read more

Autonomous Drive Requires Smart Sensor Systems


While exotic technology for autonomous drive cars draw wonder all around the world, individual smart sensor systems with “simple” jobs to do are equally important. LiDAR sensors with specialized AI chips for object identification are fascinating. But “simple” smart sensor systems, like passenger airbag deployment systems, are also key to autonomous drive vehicles. A typical trait of a s... » read more

Chips&Media: Design and Verification of Deep Learning Object Detection IP


Chips&Media, a leading provider of high-performance video IP for SoC design, took a unique approach to designing their latest IP for detecting objects in real time. They decided to adopt a new High-Level Synthesis (HLS) flow to implement their deep learning algorithm. But, they would have an RTL team create this algorithm, using traditional tools and another team would employ the Catapult H... » read more

← Older posts