Control-dominated architectures are efficiently described by means of graphical representations based on statecharts. Statecharts descriptions can be automatically translated into HDL representations (VHDL or Verilog) which are directly synthesized into gate-level netlists. This paper describes a set of rules which transform, if possible, a statecharts description into a simpler representation based on hierarchically interconnected FSMs (HFSM). The comparison of the HFSM description with the gate-level synthesized net-list allows to efficiently perform redundancies removal and test pattern generation. Thus, by applying the proposed testing strategy, fully testable implementations can be obtained even for such devices which cannot be satisfactorily analyzed at the gate level only.

Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems

FUMMI, Franco;
1997

Abstract

Control-dominated architectures are efficiently described by means of graphical representations based on statecharts. Statecharts descriptions can be automatically translated into HDL representations (VHDL or Verilog) which are directly synthesized into gate-level netlists. This paper describes a set of rules which transform, if possible, a statecharts description into a simpler representation based on hierarchically interconnected FSMs (HFSM). The comparison of the HFSM description with the gate-level synthesized net-list allows to efficiently perform redundancies removal and test pattern generation. Thus, by applying the proposed testing strategy, fully testable implementations can be obtained even for such devices which cannot be satisfactorily analyzed at the gate level only.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/15483
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact