|
Next: Possible Improvements Up: No Title Previous: VIS-V: Verification
VIS-S: SynthesisOnly one package has been written thus far for this component. It is anticipated that packages will be added to support state minimization, variable encoding, and other operations. However, note that VIS-F already allows a BLIF file to be written, which can be massaged by the sequential synthesis system SIS and read back into the hierarchy. The packages of VIS-S are:
Tom Shiple Fri May 10 17:12:12 PDT 1996 |
Contact |
©2002-2018 U.C. Regents |