Zobrazeno 1 - 10
of 17
pro vyhledávání: '"David Berner"'
Publikováno v:
Journal of Circuits, Systems and Computers. 28:1950061
SystemC is one of the most popular electronic system-level design language and it is embraced by a growing community that seeks to move to a higher level of abstraction. It lacks however a standard way of integrating formal methods and formal verific
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b33dca5139f61da61f1df4ae3449dd0d
https://doi.org/10.1142/s0218126619500610
https://doi.org/10.1142/s0218126619500610
Autor:
Tatiana Fedorova, David Berner, Ilana Shapira, Noa Barak-Broner, Boaz Styr, Dafna Greitzer-Antes, Ilana Lotan, Inna Slutsky, Tal Laviv, Bernhard Bettler, Edden Slomowitz, Martin Gassmann, Irena Vertkin, Nir Ofir
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America
PNAS
PNAS
Stabilization of neuronal activity by homeostatic control systems is fundamental for proper functioning of neural circuits. Failure in neuronal homeostasis has been hypothesized to underlie common pathophysiological mechanisms in a variety of brain d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a9b969326ad7fb314862f7f38b9f659
https://pubmed.ncbi.nlm.nih.gov/26056260
https://pubmed.ncbi.nlm.nih.gov/26056260
Publikováno v:
HLDVT
With increasing clock frequencies, the signal delay on some interconnects in a system on chip (SoC) often exceeds the clock period, which necessitates latency insensitive protocols (LIPs). The correctness of a system composed of synchronous blocks co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1252aa545b995ead5fb2cc67604486f8
https://doi.org/10.1109/tc.2006.188
https://doi.org/10.1109/tc.2006.188
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25:1458-1474
Existing system-level design languages (SLDLs) and frameworks mainly provide a modeling and a simulation framework. However, there is an increasing demand for supporting tools to aid designers in quick and faster design space and architectural explor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::90ed01ebe1579c2dcd79f5c8d6691293
https://doi.org/10.1109/tcad.2005.857315
https://doi.org/10.1109/tcad.2005.857315
Publikováno v:
Electronic Notes in Theoretical Computer Science. 146:169-188
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to implement LIPs on long interconnects stems from the fact that with incr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fa1204931b78d42ca8b2c0a370b7d70d
https://doi.org/10.1016/j.entcs.2005.05.041
https://doi.org/10.1016/j.entcs.2005.05.041
Publikováno v:
ACM Transactions on Design Automation of Electronic Systems. 10:589-609
We present an agile formal methodology named eXtreme Formal Modeling (XFM), based on Extreme Programming (XP) concepts to construct abstract models from natural language specifications of complex systems. In particular, we focus on Prescriptive Forma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32ef8719ac635c1476daaea31ab8e755
https://doi.org/10.1145/1109118.1109120
https://doi.org/10.1145/1109118.1109120
Autor:
Thor øivind Jensen, David Berner
Publikováno v:
Nordisk Alkoholtisdkrift (Nordic Alcohol Studies). 12:73-85
The complicated balance, including the formal system, that regulates patterns of psychotropic drug usage in the Nordic countries is under rapid change. The European Union is the main agent of change. The general public, the politicians, the administr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57ee85e3ada57396b5c588aa6fadc4f1
https://doi.org/10.1177/145507259501201s13
https://doi.org/10.1177/145507259501201s13
Publikováno v:
Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, ECBS '06
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, ECBS '06, Mar 2006, Potsdam, Germany. pp.426-436, ⟨10.1109/ECBS.2006.27⟩
ECBS
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, ECBS '06
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, ECBS '06, Mar 2006, Potsdam, Germany. pp.426-436, ⟨10.1109/ECBS.2006.27⟩
ECBS
International audience; For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system level capture in software programming languages
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c26417b65b00319ac126785266bf9909
https://hal.science/hal-00546021/document
https://hal.science/hal-00546021/document
Publikováno v:
MTV
In this paper, we show the usefulness of an agile formal method (named XFM) based on extreme programming concepts to construct abstract models from a natural language specification of a complex system. Building formal models for verification purposes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44c491a0af18a195912940036d78abd4
https://doi.org/10.1109/mtv.2004.8
https://doi.org/10.1109/mtv.2004.8
Publikováno v:
MTV
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large percentage of the overall design time. In efforts to alleviate this prob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94928d5675bb6746716b5ac423122060
https://doi.org/10.1109/mtv.2005.8
https://doi.org/10.1109/mtv.2005.8