Most embedded systems are reactive by nature. They measure certain properties of their environment with sensors and react on changes. For example, they display something, move a motor, or send a ...

As design size and complexity grows, the design verification effort grows even more. It takes significant amount of time to thoroughly verify complex control logic of a design, which is the key and ...

This installment starts a new segment of lessons about state machines. The subject conceptually continues the event-driven theme and is one of my favorites [1,2]. Today, you’ll learn what event-driven ...

In the last several years, contemporary SoCs (systems-on-a-chip) have become very complex silicon solutions. They now consist of hundreds of millions of gates, 100 or more discrete Semiconductor ...