arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Harry Foster

29 papers · 2001–2026

2001: 22002: 12003: 22004: 32005: 12006: 42007: 12008: 32009: 22010: 12011: 12012: 02013: 12014: 02015: 12016: 12017: 02018: 22019: 02020: 02021: 02022: 02023: 02024: 02025: 12026: 2
2001peak 4 in 20062026

Frequent co-authors

Papers

showing 1–25 of 29 RSS

Trends in functional verification

Harry Foster

Computational Theory and Mathematics · · cited 112× · DOI ↗ · more like this ·

Technical publications often make either subjective or unsubstantiated claims about today's functional verification process---such as, 70 percent of a project's overall effort is spent in verification. Yet, there are very few credible industry studies that quantitatively provide insight into the functional verification process in terms of verification technology adoption, effort, and effectiveness. To address this dearth of knowledge, a recent world-wide, double-blind, functional verification study was conducted, covering all electronic industry market segments. To our knowledge, this is the largest independent functional verification study ever conducted. This paper presents the findings from our 2014 study and provides invaluable insight into the state of the electronic industry today in terms of both design and verification trends.

Bridging pre-silicon verification and post-silicon validation

Amir Nahir, Avi Ziv, Rajesh Galivanche +7 more

Hardware and Architecture · · cited 40× · DOI ↗ · more like this ·

Post-silicon validation is a necessary step in a design's verification process. Pre-silicon techniques such as simulation and emulation are limited in scope and volume as compared to what can be achieved on the silicon itself. Some parts of the verification, such as full-system functional verification, cannot be practically covered with current pre-silicon technologies. This panel brings together experts from industry, academia, and EDA to review the differences and similarities between pre- and post-silicon, discuss how the fundamental aspects of verification are affected by these differences, and explore how the gaps between the two worlds can be bridged.

Functional test selection based on unsupervised support vector analysis

Onur Guzey, Li-C. Wang, Jeremy Levitt +1 more

Software · · cited 35× · DOI ↗ · more like this ·

Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverage metrics are essential to guide the development of effective test suites. Traditional coverage metrics are defined based on either a functional model or a structural model of the design. If our goal is to select a subset of tests from a set of tests, using these coverage metrics require simulation of the entire set before the effectiveness of tests can be compared. In this paper, we propose a novel methodology that estimates the input space covered by a set of tests. We use unsupervised support vector analysis to learn such a space, resulting in a subset of tests that represent the original set of tests. A direct application of this methodology is to select tests before simulation in order to reduce simulation…

2018 FPGA Functional Verification Trends

Harry Foster

Hardware and Architecture · · cited 16× · DOI ↗ · more like this ·

While multiple studies on IC/ASIC functional verification trends have been published, to our knowledge, there are no published studies specifically focused on FPGA verification trends. To address this dearth of information, this paper presents the results from a recent large industry study. The findings from this study provide invaluable insight into the state of today's FPGA market in terms of both design and verification trends.

Increasing the Efficiency of Simulation-Based Functional Verification Through Unsupervised Support Vector Analysis

Onur Guzey, Li-C. Wang, Jeremy Levitt +1 more

Hardware and Architecture · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · · cited 15× · DOI ↗ · more like this ·

<para xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> Success of simulation-based functional verification depends on the quality and diversity of the verification tests that are simulated. The objective of test generation methods is to generate tests that exercise as much different functionality of the hardware designs as possible. In this paper, we propose a novel methodology that generates a model of the verification tests in a given test set using unsupervised support vector analysis. One potential application is to use this model to select tests that are likely to exercise functionality that has not been tested so far. Since this selection can be done before simulation, it can be used to filter redundant tests and reduce required simulation cycles. Our methodology can be combined with a test generation method like constrained-random test…

Panel: Assertion-Based Verification -What's the Big Deal?

Sandeep K. Shukla, Alan J. Hu, Jacob Abrahams +4 more

Hardware and Architecture · Proceedings · · cited 6× · DOI ↗ · more like this ·

Summary form only given. Assertion based validation of hardware and software systems has been in use in the industry for a long time. In the software languages such as C++ or Java, there are special assert constructs that are used to specify a Boolean condition. These conditions express what the programmers think ought to hold, at specific points in their programs. Violations of such assertions provide clues about the program state at those points during execution and hence indicate the existence of bugs. In hardware design especially at the RTL and higher abstraction levels, similar assertions have been used originally in proprietary languages, and more recently with PSL (Property Specification Language). PSL was standardized initially by Accellera, and later by IEEE. PSL and similar assertion languages allow not only Boolean expressions, but more complex constructs involving temporal…

Exception handling in microprocessors using assertion libraries

Fernando Cortez Sica, Claudionor N. Coelho, José Augusto M. Nacif +2 more

Hardware and Architecture · · cited 5× · DOI ↗ · more like this ·

In complex System-on-a-Chip (SoC) designs, designers often need to add new features into an original processor core, such as to extend the exception handling mechanism to consider exceptions in the remaining portion of the SoC design. We present in this paper a scalable architecture that can be used to add complex exception handling mechanisms in processor cores and how it can be used to extend the fixed set of exceptions found in microprocessor cores. This mechanism is based on the use of assertion libraries linked by an assertion processor to incorporate these new functionalities.

Is methodology the highway out of verification hell?

Francine Bacchini, Gabe Moretti, Harry Foster +4 more

Hardware and Architecture · · cited 3× · DOI ↗ · more like this ·

Few would disagree that verification takes the lion's share of today's project resources. If we examine the available research, we quickly discover that verification is a significant pain point that consumes massive amounts of time and resources across a multitude of market segments. Per Gary Smith at Gartner Dataquest, verification consumes 30% to 70% of total schedule, depending on design size. According to Collett International Research, Inc., a majority of ASICs and integrated circuits (ICs) require at least one respin with 71% of respins are due to functional bugs "verification should have caught".With such statistics, it is easy to understand why many contend that the verification challenge is growing at a double exponential rate (that is, exponential with respect to Moore's law). Given verification's importance and its significant impact on fundamental design quality and…

Optimizing multiple EDA tools within the ASIC design flow

Lionel C. Bening, Harry Foster

Hardware and Architecture · IEEE Design & Test of Computers · · cited 3× · DOI ↗ · more like this ·

Selecting a single register transfer level (RTL) coding style-one that maximizes the performance of simulation, Boolean equivalence, and model checking while achieving an optimal flow through synthesis and physical design-is a formidable task. To reconcile competing tool-coding requirements, the Hewlett-Packard Richardson VLSI Lab has developed a coding style and a design flow methodology that incorporates modern programming language principles. Using the principles of information hiding, abstraction, and encapsulation on all functional grouping of state elements (and other objects), our engineers can focus on design functionality rather than on each individual electronic design automation (EDA) tool's optimal coding style requirement. Building on these principles, we have developed a design methodology to automate the generation of tool-specific libraries. This methodology, which…

Assertion-Based Verification

Harry Foster, Erich Marschner

Software · · cited 2× · DOI ↗ · more like this ·

This chapter introduces an approach to addressing the functional verification challenge, known as assertion-based verification (ABV), which provides a unified methodology for unambiguously specifying design intent across multiple verification processes using assertions. Fundamental to the discussion of ABV is understanding the concepts of controllability and observability. Any inconsistencies between multiple stakeholders involved in the design and verification process can become so problematic that the benefits the assertions provide during the verification process are overshadowed by an unmanageable methodology. The Open Verification Library (OVL) monitors address assertion-based methodology considerations by encapsulating a unified and systematic method of reporting and a common mechanism for enabling and disabling assertions during the verification process. The OVL was developed as…

Building a verification test plan: trading brute force for finesse

F. Bacchini, Sharad Malik, J. Bergeron +5 more

Hardware and Architecture · Proceedings - ACM IEEE Design Automation Conference · · cited 2× · DOI ↗ · more like this ·

The increasing complexity of today's designs has only served to further intensify the pain of functional verification. Any strategy for success here must include a verification test plan - one that trades brute force with finesse. In so doing, not only is the pain reduced, but additional benefits are quickly derived, such as greater predictability, more aggressive innovation and late stage spec changes which can be made with confidence. Certainly, verification teams have a need to know, while a design is being verified, if their efforts are progressing according to schedule. In order to declare verification done, the team needs to be able to effectively assess the risk of bug escapes. Teams typically use a verification coverage plan to help them address these issues, but increasing complexity and IP integration place rising demands upon verification teams. In the past, test plans…

Response checkers, monitors, and assertions

Harry Foster

Hardware and Architecture · Cambridge University Press eBooks · · cited 1× · DOI ↗ · more like this ·

Functional verification is the process of confirming that an implementation has preserved the intent of the design. The intent of the design might be initially captured in an architectural or micro-architectural specification using a natural language, while the implementation might be captured as an RTL model using a hardware description language. During the verification planning process, there are three fundamental issues that must be addressed: what functionality of the design must be checked (observability), how the design is to be checked (input scenarios and stimulus), and when the verification process is complete (which is often defined in terms of a functional or structural coverage model). Although input stimulus generation, coverage measurement, and output checking are tightly coupled conceptually, contemporary simulation test bench infrastructures generally separate these…

Planning for Functional Verification Closure

Mohamed Salem, Harry Foster

Computational Theory and Mathematics · · cited 1× · DOI ↗ · more like this ·

In his landmark 1986 article titled, No Silver Bullet: Essence and Accidents of Software Engineering [1], Dr. Fred Brooks observed that the inherent complexity of today's software systems are derived from four elements: 1. the complexity of the problem domain, 2. the difficulty of managing the development process, 3. the flexibility possible through software, and 4. the problems of characterizing the behavior of discrete systems. Certainly, it can be argued that there is no silver bullet when it comes to hardware verification closure as a result of the same inherent complexities. So what do we mean by there is no silver bullet when it comes to hardware verification? It is simply this: there is no single tool or process we can apply to all classes of design problems to achieve verification closure. For example, even the simplest 32-bit combinatorial comparator can take hundreds of…

Refactoring digital hardware designs with assertion libraries

Flavio M. De Paula, C. Coelho, Harry Foster +4 more

Computational Theory and Mathematics · · cited 1× · DOI ↗ · more like this ·

Refactoring is the concept of restructuring software to increase its readability and maintainability without changing the observable behavior: To the best of our knowledge, the concept of refactoring has only been applied to software development. In this paper, we describe a methodology to extend this concept into the Digital Hardware Design process using the Open Verification Library. We present a case of a network protocol bus functional model in which we want to increase the design readability so that maintenance and bug fixes are less costly.

Formal verification methods

David L. Dill, Nate James, Shishpal Rawat +6 more

Artificial Intelligence · Proceedings - ACM IEEE Design Automation Conference · · cited 1× · DOI ↗ · more like this ·

Do formal verification tools and methodologies require a drastic overhaul to move beyond equivalence checking? Equivalence checking catches errors in synthesis and local hand-modifications to designs. However, powerful formal verification technologies are emerging to combat "behavioral" errors, which represent today's biggest verification problems. Nonetheless, formal verification experts are split on how formal tools should adapt to this challenge. Some of our panelists feel that designers can sufficiently benefit from new formal verification technologies by making incremental changes to current methodologies. Others, however, argue that major changes are required to reap meaningful benefits from these new technologies. Just how much change is enough, what is the capacity of our current tools and what is limiting the full deployment of FV technology.Our panel of experts, consisting of…

Assertion-Based Verification

Erich Marschner, Harry Foster

Software · · cited 0× · DOI ↗ · more like this ·

In this chapter, the authors introduce a new approach to addressing the functional verification challenge, known as assertion-based verification, which provides a unified methodology for unambiguously specifying design intent across multiple verification processes using assertions. Fundamental to the discussion of assertion-based verification is an understanding of the concepts of controllability and observability. The interest in assertion-based verification is focused on the use of assertions in simulation. A simulation testbench has high controllability of the design model’s input ports, during verification it can have very low controllability of an internal structure within the model. Embedding assertions in the design model increases observability. In this way, the verification environment no longer depends on generating proper input stimulus to propagate a bug to an observable…

Keynote talk III: Industry pulse: Trends in function verification

Harry Foster

Hardware and Architecture · Formal Methods · · cited 0× · OpenAlex ↗ · more like this ·

Recent industry studies point to an accelerated rate at which traditional system-level functionality is being integrated into a single System on Chip (SoC). To address this increasing complexity brought on by higher levels of integration, the industry has been forced to adopt more holistic design and verification flows. For example, it is no longer sufficient to simply track coverage purely at the IP-level - ignoring other interactions related to software and power. This invited talk presents trends uncovered from a recent, large industry study, and discusses current and emerging challenges in the functional verification of electronic systems.

Acknowledgements

Stefen Boyd, Dennis Brophy, Kevin Cameron +9 more

Hardware and Architecture · · cited 0× · OpenAlex ↗ · more like this ·

Abstract: a set of extensions to the IEEE 1364-2001 Verilog Hardware Description Language to aid in the creation and verification of abstract architectural level modelsSystemVerilog 3.0 Accellera’s Extensions to Verilog ® Abstract: a set of extensions to the IEEE 1364-2001 Verilog Hardware Description Language to aid in the creation and verification of abstract architectural level models Approved by the Accellera Board of Directors on 3 June 2002.

Property Specification: The key to an Assertion-Based Verification Platform

C. Michael Chang, Harry D. Foster

Computational Theory and Mathematics · · cited 0× · OpenAlex ↗ · more like this ·

Assertion-based verification—that is, user specified properties and automatic property extraction combined with simulation and formal techniques—is likely to be the next revolution in hardware design verification. This paper explores a verification break-through prompted by multi-level specification and assertion verification techniques. The emerging Accellera formal property language, as well as the Open Verification Library standards and the important roles they will play in future assertion-based verification flows are discussed. Furthermore, automatic property extraction techniques are explored—and their important roles in validating semantic consistency in the context of an RTL signoff flow.

The Chip is Ready. Am I done? On-chip Verification using Assertion Processors

José Augusto, M. Nacif Flávio, M. Paula Claudionor +5 more

Computational Theory and Mathematics · · cited 0× · OpenAlex ↗ · more like this ·

White-box verification is a technique that reduces observability problems by locating a failure during design simulation without the need to propagate the failure to the I/O pins. White-box verification in chip level designs can be implemented using assertion checkers to ensure the correct behavior of a design. With chip gate counts growing exponentially, today’s verification techniques, such as white-box, can not always ensure a bug free design. This paper proposes an assertion processor to be used with synthesized assertion checkers in released products to enable intelligent debugging of deployed designs. Extending white-box verification techniques to deployed products helps locate errors that were not found during simulation / emulation phases. We present results of the insertion of assertion checkers and an assertion processor in an 8-Bit processor and a communication core. 1.

Are today's verification tools able to handle current design challenges?

R. Goering, R. Fans, Kim G. Larsen +2 more

Hardware and Architecture · · cited 0× · DOI ↗ · more like this ·

Summary form only given. With the ever increasing growth of size and complexity of digital designs, tools have just kept pace. Design engineers bare the brunt of the problem. To make use of dynamic verification, designers invest as much or more time into their testbenches as they do in the design they are creating. For static or formal verification, large designs with complex state spaces have challenged even the most powerful formal tools. What changes are coming in the design and EDA spaces that will improve this situation? What is the right mix of dynamic and static verification for the future?.

On-Chip Property Verification Using Assertion Processors

José Augusto M. Nacif, Claudionor N. Coelho, Harry Foster +4 more

Hardware and Architecture · IFIP International Federation for Information Processing/IFIP · · cited 0× · DOI ↗ · more like this ·

White-box verification is a technique that reduces observability problems by locating a failure during design simulation without the need to propagate the failure to the I/O pins. White-box verification in chip level designs can be implemented using assertion checkers to ensure the correct behavior of a design. With chip gate counts growing exponentially, today’s verification techniques, such as white-box, can not always ensure a bug free design. This paper proposes an assertion processor to be used with synthesized assertion checkers in released products to enable intelligent debugging of deployed designs. Extending white-box verification techniques to deployed products helps locate errors that were not found during simulation / emulation phases. We present results of the insertion of assertion checkers and an assertion processor in an 8-Bit processor and a communication core.

Driving the intelligent testbanch: are we there yet?

Harry Foster

Hardware and Architecture · · cited 0× · DOI ↗ · more like this ·

Position - What is needed today is the ability to manage the various verification processes in an intelligent fashion, which requires: Partition the system-level verification problem info a targeted optimal lower-level solution Manage the bookkeeping and interaction between the partitioned verification blocks Define (and then measure) various metrics that represent some notion of progress or completeness The intelligent testbench merges dynamic, formal, and mixed signal verification with advanced coverage feedback techniques. The benefit of using the intelligent testbench in the verification flow is to reduce many of the manual steps that verification engineers currently perform, particularly those related to partitioning the design info portions ideally targeted for various tools and coverage analysis.