A New State Model for DRAMs Using Petri Nets

被引：0

作者：

Jung, Matthias ^{[1
]}

Kraft, Kira ^{[2
]}

Wehn, Norbert ^{[2
]}

机构：

[1] Fraunhofer IESE, D-67663 Kaiserslautern, Germany

[2] Univ Kaiserslautern, D-67663 Kaiserslautern, Germany

来源：

INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION (SAMOS 2017) | 2017年

基金：

欧盟地平线“2020”;

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The functionality of DRAMs, especially the state transitions are described in JEDEC standards. These standards contain a finite state machine, which intends to provide an overview of the possible state transitions and the commands to control them. However, today's DRAMs are highly concurrent devices as they provide bank parallelism. The state diagram used in JEDEC standards does not model this concurrency and furthermore it is misleading in several aspects. In this paper, for the first time we present an easily comprehensive model of the DRAM states and transitions, using a Petri Net, which covers also the DRAM concurrency.

引用

页码：221 / 226

页数：6

共 50 条

[1] A survey on state estimation using Petri nets
Giua, Alessandro
Seatzu, Carla
[J]. 2014 EUROPEAN CONTROL CONFERENCE (ECC), 2014, : 2630 - 2635
[2] Model checking of time Petri nets using the state class timed automaton
Lime, Didier
Roux, Olivier H.
[J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2006, 16 (02): : 179 - 205
[3] Model Checking of Time Petri Nets Using the State Class Timed Automaton
Didier Lime
Olivier H. Roux
[J]. Discrete Event Dynamic Systems, 2006, 16 : 179 - 205
[4] A NEW FORMULATION FOR STATE EQUATION REPRESENTATION FOR PETRI NETS
KAUSHAL, RP
CHAMMAS, N
SINGH, H
[J]. MICROELECTRONICS AND RELIABILITY, 1992, 32 (08): : 1083 - 1090
[5] Using Petri Nets to model the web structure
Yang, Shih-Yang
Chen, Po-Zung
Sun, Chu-Hao
[J]. SACI 2007: 4TH INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTATIONAL INTELLIGENCE AND INFORMATICS, PROCEEDINGS, 2007, : 231 - +
[6] State Estimation and Fault Detection Using Petri Nets
Giua, Alessandro
[J]. APPLICATIONS AND THEORY OF PETRI NETS, 2011, 6709 : 38 - 48
[7] Modeling a New AQM Model for Internet Chaotic Behavior Using Petri Nets
Amigo, Jose M.
Duran, Guillem
Gimenez, Angel
Valero, Jose
Bonastre, Oscar Martinez
[J]. APPLIED SCIENCES-BASEL, 2021, 11 (13):
[8] A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
Cabasino, Maria Paola
Giua, Alessandro
Lafortune, Stephane
Seatzu, Carla
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (12) : 3104 - 3117
[9] Using colored Petri nets to simulate object Petri nets
Corchado, FFR
Gallegos, FZ
Jiménez, AA
Dávila, HIP
[J]. International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
[10] MODEL OF CONCURRENT PROCESSES SYNCHRONIZATION USING PETRI NETS
GOETZ, J
LETU, QH
[J]. SYSTEMS ANALYSIS MODELLING SIMULATION, 1989, 6 (07): : 539 - 543

← 1 2 3 4 5 →