Verified timing transformations in synchronous circuits with \(\lambda\pi\)-Ware

DOI10.1007/978-3-319-94821-8_30OpenAlexW2810421212MaRDI QIDQ1791197

João Paulo Pizani Flor, Wouter Swierstra

Publication date: 4 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_30

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Switching theory, applications of Boolean algebras to circuits and networks (94C11) Formalization of mathematics in connection with theorem provers (68V20) Networks and circuits as models of computation; circuit complexity (68Q06)

This page was built for publication: Verified timing transformations in synchronous circuits with \(\lambda\pi\)-Ware