Equivalent transformations of structurally synthesized BDDs and applications
author
Jürimägi, Lembit
Ubar, Raimund-Johannes
Viies, Vladimir
statement of authorship
Lembit Jürimägi, Raimund Ubar, Vladimir Viies
source
2019 8th Mediterranean Conference on Embedded Computing (MECO)
location of publication
[S.l.]
publisher
IEEE
year of publication
2019
pages
6 p. : ill
conference name, date
8th Mediterranean Conference on Embedded Computing - MECO 2019, June 10-14, 2019.
conference location
Budva, Montenegro
url
https://doi.org/10.1109/MECO.2019.8760283
subject term
digitaaltehnika
integraallülitused
otsustusdiagrammid
keyword
structurally synthesized BDDs
properties of SSBDDs
equivalent transformations of SSBDDs
ISSN
2637-9511
2377-5475
ISBN
978-1-7281-1739-3
notes
Bibliogr.: 36 ref
TalTech department
arvutisüsteemide instituut
language
inglise
Reserch Group
Centre for trustworthy and efficient computing hardware (TECH)
Centre of dependable computing systems