Haja Moinudeen

Learn More
SystemC is a system level language proposed to raise the abstraction level for embedded systems design and verification. In this paper, we propose to generate finite state machines (FSM) from SystemC designs using two algorithms originally proposed for the generation of FSM from abstract state machines (ASM). This proposal enables the integration of SystemC(More)
The importance of re-usable intellectual properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In this paper, we provide a design for verification approach of a PCI-X bus model, which is the fastest and latest extension of PCI technologies. We use two different modeling levels,(More)
Wireless LAN (WLAN) has become the most talked about technology in last decade. Using radio frequency (RF) technology, WLANs transmit and receive data over the air, through walls, ceilings and even cement structures, without wired cabling. The IEEE 802.11 specification is a wireless LAN standard developed by the IEEE in order to specify an "over the air"(More)
Accelerating simulation is one of the main reasons beyond the introduction of system level modeling. Here SystemC is one of the main players proven to speed-up simulation in comparison to classical HDL languages. However, the kernel architecture of the SystemC simulator treats the design as a black box. For instance, all active processes are executed(More)
In this paper, we propose to integrate an embedding of Property Specification Language (PSL) in Abstract State Machines Language (AsmL) with a top–down design for verification approach in order to enable the model checking of large systems at the early stages of the design process. We provide a complete embedding of PSL in the ASM language AsmL, which(More)
In this paper, we describe an executable formal specification of the PCI-X bus standard using the abstract state machines language, AsmL. PCI-X, is the latest extension of the PCI local bus that is designed to meet increased I/O demands of recent technologies. The actual specification of PCI-X, provided by the PCI special interest group (PCI-SIG), is(More)
  • 1