Petri net-based modeling of a class of complex digital systems

Jayaram, Rajeev and Rama, Srilata and Raj, RV and Patnaik, LM (1997) Petri net-based modeling of a class of complex digital systems. In: Computers & Electrical Engineering, 23 (1). pp. 41-53.

PDF PETRI_NET-BASED_MODELING.pdf - Published Version Restricted to Registered users only Download (1MB) | Request a copy

Abstract

We present through the use of Petri Nets, modeling techniques for digital systems realizable using FPGAs. These Petri Net models are used for logic validation at the logic design phase. The technique is illustrated by modeling practical circuits. Further, the utility of the technique with respect to timing analysis of the modeled digital systems is considered. Copyright (C) 1997 Elsevier Science Ltd

Item Type:	Journal Article
Publication:	Computers & Electrical Engineering
Publisher:	Elsevier Science
Additional Information:	Copyright of this article belongs to Elsevier Science.
Keywords:	Petri Nets;Field Programmable Gate Arrays;Computer-Aided Design;VLSI design;digitial system design
Department/Centre:	Division of Electrical Sciences > Electronic Systems Engineering (Formerly Centre for Electronic Design & Technology)
Date Deposited:	30 Jun 2011 14:24
Last Modified:	26 Oct 2018 14:46
URI:	http://eprints.iisc.ac.in/id/eprint/38350

Actions (login required)

View Item