Author:
Ponce de León Hernán,Mokhov Andrey
Funder
Suomen Akatemia
Engineering and Physical Sciences Research Council
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference31 articles.
1. ARM Ltd.: ARMv6-M Architecture Reference Manual (2010)
2. Berkeley Logic Synthesis and Verification Group: ABC: a System for Sequential Synthesis and Verification, Release 70930. http://www.eecs.berkeley.edu/~alanmi/abc/
3. Brookes S, O’Hearn PW (2016) Concurrent separation logic. ACM SIGLOG News 3(3):47–65
4. D’Alessandro C, Mokhov A, Bystrov AV, Yakovlev A (2007) Delay/phase regeneration circuits. In: 13th IEEE international symposium on asynchronous circuits and systems (ASYNC 2007), 12–14 March 2006, Berkeley, California, USA. IEEE Computer Society, pp 105–116. https://doi.org/10.1109/ASYNC.2007.14
5. Diekert V, Rozenberg G (eds) (1995) The book of traces. World Scientific Publishing Co., Inc, Singapore