Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Irit Shitsevalov"'
Autor:
Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Irit Shitsevalov, Cindy Eisner, Iris Reuveni, Tali Yatzkar-Haham, Yaron Wolfsthal, Ilan Beer, Daniel Geist, Tamir Heyman, Eran Rippel
Publikováno v:
Formal Methods in System Design. 19:35-44
We examine IBM's exploitation of formal verification using RuleBase—a formal verification tool developed by the IBM Haifa Research Laboratory. The goal of the paper is methodological. We identify an integrated methodology for the deployment of form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::22163b2a577ba0e8eb2e52412bf3819e
https://doi.org/10.1023/a:1011219209077
https://doi.org/10.1023/a:1011219209077
Publikováno v:
DAC
We propose a methodology for developing hardware control. In addition to the usual distinction between control and data path, a further distinction within the control code is made between algorithmic code and bookkeeping code. The high level specific
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6bd4584ed2de50c27f679a1c22195f1c
https://doi.org/10.1145/337292.337757
https://doi.org/10.1145/337292.337757
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.