Proceedings of the IEEK Conference (대한전자공학회:학술대회논문집)
- 1998.06a
- /
- Pages.815-818
- /
- 1998
VHDL behavioral-level design verification from behavioral VHDL
VHDL 행위 레벨 설계 검증
Abstract
Hardware formal verification involves the use of analytical techniques to prove that the implementation of a system confroms to the specification. The specification could be a set of properties that the system must have or it could be an alternative representation of the system behavior. We can represent our behavioral specification to be written in VHDL coding. In this paper, we proposed a new hardware design verification method. For theis method, we assumed that a verification pattern already exists and try to make an algorithm to find a place where a design error occurred. This method uses an hierarchical approach by making control flow graph(CFG) hierarchically. From the simulation, this method was turned out to be very effective that all the assumed design errors could be detected.
Keywords