Automatic functional vector generation using the interacting FSM model
CNJ Liu, CC Yen, JY Jou�- Proceedings of the IEEE 2001. 2nd�…, 2001 - ieeexplore.ieee.org
While the coverage-driven design validation is becoming popular, it would be more
convenient for users to have an automatic generator that can generate the input patterns to
satisfy the coverage requirements. The symbolic techniques can be used to generate the
desired input patterns easily for a specific state transition in a FSM. However, it is not
practical for real designs because the memory requirement is often unmanageable. In this
paper, we propose an automatic pattern generation engine that can overcome the memory�…
convenient for users to have an automatic generator that can generate the input patterns to
satisfy the coverage requirements. The symbolic techniques can be used to generate the
desired input patterns easily for a specific state transition in a FSM. However, it is not
practical for real designs because the memory requirement is often unmanageable. In this
paper, we propose an automatic pattern generation engine that can overcome the memory�…
Automatic Functional Vector Generation Using the Interacting FSM Model
CC Yen�- Proceedings of the 2nd International Symposium on�…, 2001 - dl.acm.org
Abstraction: While the coverage-driven design validation is getting popular, it would be more
convenient for users to have an automatic generator that can generate the input patterns to
satisfy the coverage requirements. The symbolic techniques can be used to generate the
desired input patterns easily for a specific state transition in a FSM. However, it is not
practical for real designs because the memory requirement is often unmanageable. In this
paper, we propose an automatic pattern generation engine that can overcome the memory�…
convenient for users to have an automatic generator that can generate the input patterns to
satisfy the coverage requirements. The symbolic techniques can be used to generate the
desired input patterns easily for a specific state transition in a FSM. However, it is not
practical for real designs because the memory requirement is often unmanageable. In this
paper, we propose an automatic pattern generation engine that can overcome the memory�…
Showing the best results for this search. See all results