Fey, G., Ghasempouri, T., Jacobs, S., Raik, J. et al.

prindi

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

klassifikaator

3.1

TTÜ struktuuriüksus

arvutisüsteemide instituut

keel

inglise

Uurimisrühm

Usaldusväärsete arvutisüsteemide keskus

Fey, G., Ghasempouri, T., Jacobs, S., Raik, J. et al. Design understanding : from logic to specification // Proceedings of the 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) : October 8-10, 2018, Verona, Italy. : IEEE, 2018. p. 172–175 : ill. https://doi.org/10.1109/VLSI-SoC.2018.8644732