Using Z3 to Verify Inferences in Fragments of Linear Logic
Docef, Alen, Negulescu, Radu, Prunescu, Mihai
Published in Electronic proceedings in theoretical computer science (22.09.2023)
Published in Electronic proceedings in theoretical computer science (22.09.2023)
Get full text
Journal Article
Semihiding operators and active-edge specification
Xiaohua Kong, Negulescu, R.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2006)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2006)
Get full text
Journal Article
General testers for asynchronous circuits
Negulescu, R.
Published in 10th International Symposium on Asynchronous Circuits and Systems, 2004. Proceedings (2004)
Published in 10th International Symposium on Asynchronous Circuits and Systems, 2004. Proceedings (2004)
Get full text
Conference Proceeding
Refinement-based formal verification with heterogeneous timing
XIAOHUA KONG, NEGULESCU, Radu, WEIDONG YING, Larry
Published in International journal on software tools for technology transfer (01.05.2003)
Published in International journal on software tools for technology transfer (01.05.2003)
Get full text
Conference Proceeding
Journal Article
Bolstering faith in GasP circuits through formal verification
Xiaohua Kong, Negulescu, R.
Published in 10th International Symposium on Asynchronous Circuits and Systems, 2004. Proceedings (2004)
Published in 10th International Symposium on Asynchronous Circuits and Systems, 2004. Proceedings (2004)
Get full text
Conference Proceeding