Design understanding : from logic to specification
autor
Fey, Goerschwin
Ghasempouri, Tara
Jacobs, Swen
Raik, Jaan
vastutusandmed
Goerschwin Fey, Tara Ghasempouri, Swen Jacobs, Gianluca Martino, Jaan Raik, Heinz Riener
allikas
Proceedings of the 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) : October 8-10, 2018, Verona, Italy
kirjastus/väljaandja
IEEE
ilmumisaasta
2018
leheküljed
p. 172–175 : ill
leitav
https://doi.org/10.1109/VLSI-SoC.2018.8644732
märksõna
disain
arusaamine
hägusloogika
võtmesõna
design understanding
temporal logics
specification
verification
synthesis
assertions
properties
ISSN
2324-8440
2324-8432
ISBN
978-1-5386-4756-1
978-1-5386-4757-8
märkused
Bibliogr.: 17 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Usaldusväärsete arvutisüsteemide keskus