CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 150
Titolo Data di pubblicazione Autore(i) File
Computer-aided synthesis of PLA-based finite-state machines 1-gen-1983 G., De Micheli; A., Sangiovanni Vincentelli; Villa, Tiziano
Constrained encoding in hypercubes: algorithms and applications tological synthesis 1-gen-1987 Villa, Tiziano
NOVA: state assignment of finite-state machines for optimaltwo-level logic implementations 1-gen-1989 Villa, Tiziano; A., Sangiovanni Vincentelli
NOVA: state assignment of finite-state machines for optimal two-level logic implementations 1-gen-1990 Villa, Tiziano; A., Sangiovanni Vincentelli
A framework for satisfying input and output encoding constraints 1-gen-1991 A., Saldanha; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
Experiments on the synthesis and testability of non-scanfinite state machines 1-gen-1992 M., Pabst; Villa, Tiziano; R., Newton
Satisfaction of input and output encoding constraints 1-gen-1994 A., Saldanha; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
A fully implicit algorithm for exact state minimization 1-gen-1994 T., Kam; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
Fuzzy rules optimization for analog VLSI implementation 1-gen-1995 R., Rovatti; R., Guerrieri; Villa, Tiziano
Implicit state minimization of non-deterministic FSMs 1-gen-1995 T., Kam; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
Encoding problems in logic synthesis 1-gen-1995 Villa, Tiziano
VIS user's manual 1-gen-1995 Villa, Tiziano; G., Swamy; T., Shiple
VIS: A system for Verification and Synthesis 1-gen-1996 R., Brayton; G., Hachtel; A., Sangiovanni Vincentelli; F., Somenzi; A., Aziz; S. T., Cheng; S., Edwards; S., Khatri; Y., Kukimoto; A., Pardo; S., Qadeer; R., Ranjan; S., Sarwary; T., Shiple; G., Swamy; Villa, Tiziano
VIS 1-gen-1996 R., Brayton; G., Hachtel; A., Sangiovanni Vincentelli; F., Somenzi; A., Aziz; S. T., Cheng; S., Edwards; S., Khatri; Y., Kukimoto; A., Pardo; S., Qadeer; R., Ranjan; S., Sarwary; T., Shiple; G., Swamy; Villa, Tiziano
Generation of a minimal STG from an implicit cover 1-gen-1996 L., Carloni; Villa, Tiziano; T., Kam; R., Brayton; A., Sangiovanni Vincentelli
Symbolic two-level minimization 1-gen-1997 Villa, Tiziano; A., Saldanha; R., Brayton; A., Sangiovanni Vincentelli
Explicit and implicit algorithms for binate covering problems 1-gen-1997 Villa, Tiziano; T., Kam; R., Brayton; A., Sangiovanni Vincentelli
A fast and robust exact algorithm for face embedding 1-gen-1997 E., Goldberg; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
Theory and algorithms for state minimization of non-deterministic FSMs 1-gen-1997 T., Kam; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
Implicit computation of compatibles sets for state minimization of ISFSMs 1-gen-1997 T., Kam; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
Mostrati risultati da 1 a 20 di 150
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile