Efficient functional coverage test for HDL descriptions at RTL

Chien-Nan Liu*, Jing Yang Jou

*Corresponding author for this work

Research output: Contribution to conferencePaperpeer-review

5 Scopus citations


Until now, simulation is still the primary approach for the functional verification of RTL circuit descriptions written in HDL. The FSM coverage test can find all bugs in a FSM design. However, it is impractical for large designs because of the state explosion problem. In this paper, we modify the higher level FSM models used in other applications to replace the FSM model in the FSM coverage test. The STGs can be significantly reduced in this model so that the complexity of the test becomes acceptable even for large designs. This model can be easily extracted from the original HDL code automatically with little computation overhead. The experimental results show that it is indeed a promising functional test for FSMs.

Original languageEnglish
Number of pages3
StatePublished - 1999
EventInternational Conference on Computer Design (ICCD'99) - Austin, TX, USA
Duration: 10 Oct 199913 Oct 1999


ConferenceInternational Conference on Computer Design (ICCD'99)
CityAustin, TX, USA


Dive into the research topics of 'Efficient functional coverage test for HDL descriptions at RTL'. Together they form a unique fingerprint.

Cite this