Publications

CRT-TCAD08

Summary

A. Cimatti, M. Roveri and S. Tonetta (2008) PSL Symbolic Compilation. IEEE Trans. on CAD of Integrated Circuits and Systems, 27(10):1737-1750.

Bibtex entry

@ARTICLE { CRT-TCAD08,
    AUTHOR = { A. Cimatti and M. Roveri and S. Tonetta },
    TITLE = { {PSL Symbolic Compilation} },
    JOURNAL = { IEEE Trans. on CAD of Integrated Circuits and Systems },
    YEAR = { 2008 },
    VOLUME = { 27 },
    NUMBER = { 10 },
    PAGES = { 1737-1750 },
}