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)
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