Login / Signup

A State Space Decomposition Algorithm for Approximate FSM Traversal.

Hyunwoo ChoGary D. HachtelEnrico MaciiMassimo PoncinoFabio Somenzi
Published in: EDAC-ETC-EUROASIC (1994)
Keyphrases