Formal methods and testing are two important approaches that assist in the development of
high-quality software. While traditionally these approaches have been seen as rivals, in …

The complexity of hardware designs has increased over the years due to the rapid
advancement of technology coupled with the need to support diverse and complex features …

In commercial software development organizations, increased complexity of products,
shortened development cycles, and higher customer expectations of quality have placed a …

This book provides broad and comprehensive coverage of the entire EDA flow. EDA/VLSI
practitioners and researchers in need of fluency in an" adjacent" field will find this an …

Software simulation remains the primary means of functional validation for hardware
designs. Coverage metrics ensure optimal use of simulation resources, measure the …

As of 2013, the gold standard for assessing radiation-hardness assurance (RHA) for a
system, subsystem, or a component is accelerated radiation testing and/or pulsed laser …

With the ever-increasing hardware design complexity comes the realization that efforts
required for hardware verification increase at an even faster rate. Driven by the push from …

Software testing aims at gaining confidence in software products through fault detection, by
observing the differences between the behavior of the implementation and the expected …

The model-driven approach to software development has not only changed the way
software systems are built and maintained but also the way they are tested. For such …

Until now, the functional verification at RTL is still mostly done by simulating the HDL
designs with a massive amount of test patterns. In a typical design environment, the quality …