Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Mining assumptions for synthesis
Wenchao Li, Dworkin, L., Seshia, S. A.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
A flexible formal verification framework for industrial scale validation
Slobodova, Anna, Davis, Jared, Swords, Sol, Hunt, Warren
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Predictive analysis for detecting serializability violations through Trace Segmentation
Sinha, A., Malik, S., Chao Wang, Gupta, A.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Polychronous controller synthesis from MARTE CCSL timing specifications
Huafeng Yu, Talpin, J., Besnard, L., Gautier, T., Marchand, H., Le Guernic, P.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Automatic generation of assertions from system level design using data mining
Lingyi Liu, Sheridan, D., Athavale, V., Vasudevan, S.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Fast scalable FPGA-based Network-on-Chip simulation models
Papamichael, M. K.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Transforming SystemC Transaction Level Models into UPPAAL timed automata
Herber, P., Pockrandt, M., Glesner, S.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Efficient deadlock detection for concurrent systems
Bensalem, S., Griesmayer, A., Legay, A., Nguyen, T., Peled, D.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Modern constraint solving by propagation
Jefferson, C.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Rigorous system level modeling and analysis of mixed HW/SW systems
Bourgos, P., Basu, A., Bozga, M., Bensalem, S., Sifakis, J., Huang, K.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
GPU-based NoC simulator
Zolghadr, M., Mirhosseini, K., Gorgin, S., Nayebi, A.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Function interface models for hardware compilation
Ghica, D. R.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
EFSM-based model-driven approach to concolic testing of system-level design
Di Guglielmo, G., Fujita, M., Fummi, F., Pravadelli, G., Soffia, S.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator
Chiou, D.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Parallel assertions for debugging parallel programs
Schwartz-Narbonne, Daniel, Liu, Feng, Pondicherry, Tarun, August, David, Malik, Sharad
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Loading…
Verification of microarchitectural refinements in rule-based systems
Dave, N., Katelman, M., King, M., Arvind, Meseguer, J.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi
Greaves, D., Singh, S.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Controller synthesis for pipelined circuits using uninterpreted functions
Hofferek, G., Bloem, R.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding
Loading…
Formal modelling and transformations of processor instruction sets
Mokhov, A., Sokolov, D., Rykunov, M., Yakovlev, A.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)
Get full text
Conference Proceeding