Migrating Assertions From Dense to Discrete Time

Autor:	Sudipa Mandal, Pallab Dasgupta
Rok vydání:	2022
Předmět:	Electrical and Electronic Engineering Computer Graphics and Computer-Aided Design Software
Zdroj:	IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41:2362-2371
ISSN:	1937-4151 0278-0070
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5945fc764ea4fd36263cc58e6c48b6ee https://doi.org/10.1109/tcad.2021.3101715 Zobrazit plný text záznamu