Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Marly Roncken"'
Publikováno v:
IEEE Transactions on Applied Superconductivity. 33:1-4
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe0f91fafcff935799b499d8da9ecc09
https://doi.org/10.1109/tasc.2023.3251942
https://doi.org/10.1109/tasc.2023.3251942
Publikováno v:
IEEE Transactions on Applied Superconductivity. 33:1-7
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a39f87e123cc2bfe40b5d5fe8acdc93
https://doi.org/10.1109/tasc.2023.3251949
https://doi.org/10.1109/tasc.2023.3251949
Publikováno v:
IEEE Transactions on Circuits and Systems II: Express Briefs. 66:1038-1042
Granting access to a shared self-timed resource requires a mutual exclusion circuit to resolve contention. All such circuits contain cross-coupled logic gates to decide contested cases on a first-come-first-served basis. An end-of-metastability detec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::618793b51eb4f901bcba7ca7418e804f
https://doi.org/10.1109/tcsii.2018.2874009
https://doi.org/10.1109/tcsii.2018.2874009
Publikováno v:
ASYNC
Self-timed circuits can be modeled in a link-joint style using a formally defined hardware description language. It has previously been shown how functional properties of these models can be formally verified with the ACL2 theorem prover using a scal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ddaab452069a3c475a49669789f4ccf8
https://doi.org/10.1109/async.2019.00022
https://doi.org/10.1109/async.2019.00022
Publikováno v:
Journal of Computer Science and Technology. 31:77-106
This paper introduces ARCtimer, a framework for modeling, generating, verifying, and enforcing timing constraints for individual self-timed handshake components. The constraints guarantee that the component’s gate-level circuit implementation obeys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec479be21cf25df6605b25be6ee0c770
https://doi.org/10.1007/s11390-016-1613-y
https://doi.org/10.1007/s11390-016-1613-y
Publikováno v:
ASYNC
This paper presents a methodology for formally verifying the functional correctness of self-timed circuits whose data flows are free of feedback loops. In particular, we formalize the relationship between their input and output sequences. We use the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8cd5371f21ebdfd3cae690141eaeb3cf
https://doi.org/10.1109/async.2018.00023
https://doi.org/10.1109/async.2018.00023
Autor:
Xiaoyu Song, Cuong K. Chau, Chris Chen, Swetha Mettala Gilla, Warren A. Hunt, Marly Roncken, Yong Hei, Anping He, Hoon Park, Hong Chen, Ivan E. Sutherland
Publikováno v:
ACSSC
Self-timed systems divide nicely into two kinds of components: communication links that transport and store data, and computation joints that apply logic to data. We treat these two types of self-timed components as equally important. Putting communi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7801794340435de185d48f062366ea26
https://doi.org/10.1109/acssc.2017.8335628
https://doi.org/10.1109/acssc.2017.8335628
Publikováno v:
Hardware and Software: Verification and Testing ISBN: 9783319703886
Haifa Verification Conference
Haifa Verification Conference
Formal verification of asynchronous circuits is known to be challenging due to highly non-deterministic behavior exhibited in these systems. One of the main challenges is that it is very difficult to come up with a systematic approach to establishing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b99d7a869c5d6ed67d5be3da88efbf53
https://doi.org/10.1007/978-3-319-70389-3_1
https://doi.org/10.1007/978-3-319-70389-3_1
Publikováno v:
Electronics Letters. 51:332-334
A new definition of semi-modularity to accommodate relative timing constraints in self-timed circuits is presented. While previous definitions ignore such constraints, the new definition takes them into account. The difference on a design solution fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::53d5bc0fbdffb40ca8150c224cdb62db
https://doi.org/10.1049/el.2014.3666
https://doi.org/10.1049/el.2014.3666
Autor:
Marly Roncken, Peter A. Beerel
Publikováno v:
Journal of Low Power Electronics. 3:234-253
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::860b04122ce2408296986c8fa5bf3ceb
https://doi.org/10.1166/jolpe.2007.138
https://doi.org/10.1166/jolpe.2007.138