The Experts below are selected from a list of 2721 Experts worldwide ranked by ideXlab platform
Wu Jian - One of the best experts on this subject based on the ideXlab platform.
-
RESEARCH ON ASSERT Statement IN VHDL AND ITS SYNTHESIS METHODS
Chinese Journal of Computers, 1998Co-Authors: Wu JianAbstract:Assertion Statement in hardware description language VHDL is general-ly thought to be simulation-oriented,.thercforeit cannot or need not be synthesized,and it should be ignored or should not be supported by synthesis systems. An oppo-site viewpoint is presented in this paper: Assertion Statement in VHDL should besynthesized, the complementation of its constraint condition can be used as thedon't-care condition in synthesis optimization. The rationality, essentiality and us-ability of synthesizing Assertion Statement are elucidated, and the synthesis meth-ods of sequential and concurrent Assertion Statements are given.
Ashraf Salem - One of the best experts on this subject based on the ideXlab platform.
-
IDT - Automatic test pattern generation for virtual hardware model using constrained symbolic execution
Intelligent Decision Technologies, 2015Co-Authors: Nahla Mohamed Mohamed, Mona Safari, Ashraf Mohamed Wahba, Ashraf SalemAbstract:Symbolic execution is widely used for analyzing software behavior, generating test pattern, and finding bugs. However, it is not feasible for large programs. Symbolic execution attempts to explore each path of the program which result in a path explosion for large programs. This paper introduces a framework that makes the symbolic execution practical for the virtual HW models that run on QEMU platform. We describe an approach that can symbolically execute a virtual HW model to automatically generate selective test patterns. We use the constraints-based technique in order to show preferences for the generated test pattern. A native symbolic run of the program along with the constraints will generate test patterns correspond to every possible path. Our technique adds Assertion Statement into the program to indicate a specific operation mode for the device that the developer pay attention on. The symbolic engine generates test patterns that can derive the program through all feasible paths to reach the Assertion. These test patterns can be used to verify same operation mode on the associated HW RTL model.
Peter J. Ashenden - One of the best experts on this subject based on the ideXlab platform.
-
3 – Sequential Statements
The Designer's Guide to VHDL, 2002Co-Authors: Peter J. AshendenAbstract:Publisher Summary This chapter deals with control structures that allow the selection between alternative courses of action as well as repetition of actions. One of the reasons for writing models of computer systems is to verify that a design functions correctly. Assertion Statements check that the expected conditions are met within the model. Being a sequential Statement, Assertion Statements can be included anywhere in a process body. One can write an Assertion Statement with either a report clause or a severity clause, or both. Assertion Statements are also used for checking the timing constraints that apply to a model.
Nahla Mohamed Mohamed - One of the best experts on this subject based on the ideXlab platform.
-
IDT - Automatic test pattern generation for virtual hardware model using constrained symbolic execution
Intelligent Decision Technologies, 2015Co-Authors: Nahla Mohamed Mohamed, Mona Safari, Ashraf Mohamed Wahba, Ashraf SalemAbstract:Symbolic execution is widely used for analyzing software behavior, generating test pattern, and finding bugs. However, it is not feasible for large programs. Symbolic execution attempts to explore each path of the program which result in a path explosion for large programs. This paper introduces a framework that makes the symbolic execution practical for the virtual HW models that run on QEMU platform. We describe an approach that can symbolically execute a virtual HW model to automatically generate selective test patterns. We use the constraints-based technique in order to show preferences for the generated test pattern. A native symbolic run of the program along with the constraints will generate test patterns correspond to every possible path. Our technique adds Assertion Statement into the program to indicate a specific operation mode for the device that the developer pay attention on. The symbolic engine generates test patterns that can derive the program through all feasible paths to reach the Assertion. These test patterns can be used to verify same operation mode on the associated HW RTL model.
Zhang Jian-xun - One of the best experts on this subject based on the ideXlab platform.
-
Methods to solve several problems of designing VHDL synthesis system
Journal of Anhui University, 2002Co-Authors: Zhang Jian-xunAbstract:The methods to solve several problems of designing VHDL synthesis system are given in this paper. The issues about hybrid level synthesis and function unit library of it are discussed. The new viewpoints that Assertion Statement and resolved signal in VHDL should be synthesized are advanced, and The methods to synthesis Assertion Statement and resolved signal are presented. The schemes to dispose of reset signal and clock signal in VHDL high-level synthesis are given also.
