Sfoglia per Rivista IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
Mostrati risultati da 1 a 4 di 4
Analytical Device Modeling for MOS Analog IC`s Based on Regularization and Bayesian Estimation
1996-01-01 M., Conti; S., Orcioni; C., Turchetti; Soncini, Giovanni; Zorzi, Nicola
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking
2015-01-01 Griggio, Alberto; Roveri, Marco
Software Model Checking SystemC
2013-01-01 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Symbolic Compilation of PSL
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Analytical Device Modeling for MOS Analog IC`s Based on Regularization and Bayesian Estimation | 1-gen-1996 | M., Conti; S., Orcioni; C., Turchetti; Soncini, Giovanni; Zorzi, Nicola | |
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking | 1-gen-2015 | Griggio, Alberto; Roveri, Marco | |
Software Model Checking SystemC | 1-gen-2013 | Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco | |
Symbolic Compilation of PSL | 1-gen-2008 | Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano |
Mostrati risultati da 1 a 4 di 4
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