Complete Formal Verification of RISC V Processor IPs for Trojan-Free Trusted ICs


RISC-V processor IPs are increasingly being integrated into system-on-chip designs for a variety of applications. However, there is still a lack of dedicated functional verification solutions supporting high-integrity, trusted integrated circuits. This paper examines an efficient, novel, formal-based RISC-V processor verification methodology. The RISC-V ISA is formalized in a set of Operational... » read more

Blog Review: June 26


Arm's Krish Nathella and Dam Sunwoo dig into research to make a practical implementation of a temporal data prefetcher that overcomes the huge on- and off-chip storage and traffic overheads usually associated with them. Cadence's Paul McLellan notes that while concerns about uncover bias in computer vision algorithms usually focus on people, a team at Facebook found that object recognition t... » read more

CEO Outlook: Rising Costs, Chiplets, And A Trade War


Semiconductor Engineering sat down to discuss what's changing across the semiconductor industry with Wally Rhines, CEO emeritus at Mentor, a Siemens Business; Jack Harding, president and CEO of eSilicon; John Kibarian, president and CEO of PDF Solutions; and John Chong, vice president of product and business development for Kionix. What follows are excerpts of that discussion, which was held in... » read more

System Bits: June 25


Supercomputers around the world At last week’s International Supercomputing Conference in Frankfurt, Germany, the 53rd biannual list of the Top500 of the most powerful computing systems in the world was released. Broken out by countries of installation, China has 219 of the world’s 500 fastest supercomputers, compared with 116 in the United States. Ranking by percent of list flops, the ... » read more

Week In Review: Design, Low Power


ON Semiconductor completed its $946 million acquisition of Quantenna Communications, a San Jose-based company that specializes in Wi-Fi chips and software. Aldec introduced automatic UVM register generation to its Riviera-PRO verification platform. Riviera-PRO can now accept a CSV file or IP-XACT register description as an input and, working at the Register Abstraction Layer (RAL) of UVM, ou... » read more

Blog Review: June 19


Mentor's Rebecca Lord digs into signal integrity complications and why today's high frequency signals make it important to understand the physics of transmission lines. Cadence's Meera Collier points to the need to recognize diversity and nuance when compiling AI training datasets and avoid the oversimplification that can lead to bias. Synopsys' Deepak Nagaria checks out the new features ... » read more

Week In Review: Design, Low Power


M&A Intel will acquire Barefoot Networks, a maker of programmable Ethernet switch silicon and the P4 networking programming language for data centers. Founded in 2013, the Santa Clara-based company has raised $155.4 million in funding. Terms of the deal were not disclosed, but Intel expects the acquisition to be final in the third quarter of this year. Tools & IP Mentor extended it... » read more

Blog Review: June 12


Synopsys' Taylor Armerding warns that city and state governments aren't learning from history when it comes to ransomware, and despite numerous examples of recent attacks are not implementing proper security measures or even keeping systems patched. Cadence's Paul McLellan shares highlights from the recent Embedded Vision Summit, including how light can be used at femtosecond intervals to ob... » read more

Week In Review: Design, Low Power


M&A Infineon Technologies will acquire Cypress Semiconductor for $23.85 per share in cash, or $10.1 billion. The deal will place Infineon as the number eight chip manufacturer in the world based on 2018 revenues and create an automotive powerhouse, making the combined company the largest supplier of chips to the automotive market. Infineon sees potential to reach into new industrial and co... » read more

DAC 2019: Day 3


Two keynotes get day three of DAC started. The first by John Cohn, Massachusetts Institute of Technology & IBM Watson AI Lab. "I am a nerd. Look back 100 years in processing. We have gone from mechanical computing to where we are today, but it has not been a smooth curve. There are smooth places and then discontinuities. This is when what you were working on no longer works. How we make tho... » read more

← Older posts Newer posts →