中文 English

Author's Latest Posts


Hardware-Software Co-verification (ARM CPU)


In every complex SoC verification process, it is necessary to activate the CPUs during verification and to check the operation of the software they execute alongside the test’s scenarios. At a minimum, basic scenarios such as “boot rom execution” are tested, but in many cases, further scenarios are required. The CPUs themselves are usually proven IPs, but in order to verify their integrat... » read more

Capturing Bugs Visually


This paper presents a new way to comprehend complex scenarios, in order to significantly accelerate bug detection and resolution. By defining a new visual language, which creates interaction vertices between the simulation scenarios and the code structure on a single matrix, we offer a novel way to compare multiple cycles. It enables verification engineers to reach solid conclusions regarding a... » read more

The Big Data Revolution Beautiful Servant Or Dangerous Monster?


The world is experiencing the revolution of information, humanity shifting the hegemony from science onto data. Just as the printing revolution once flooded the world with information, now cybernetic space is engulfing the entire planet with enormous amounts of information particles. We are living in an era where knowledgeability, facts, and big data have completely taken over, and control us a... » read more