Abstract:Today's distributed systems are commonly equipped with both synchronous and asynchronous components controlled with multiple clocks. The key challenges in designing such systems are (1) how to model multi-clocked local synchronous component, local asynchronous component, and asynchronous communication among components in a single framework. (2) how to ensure the correctness of model, and keep consistency between the model and the implementation of real system. In this paper, we propose a novel computation model named GalsBlock for the design of multi-clocked embedded system with both synchronous and asynchronous components. The computation model consists of several hierarchical compound and atom blocks communicating with data port connections. Each atom block can be refined as parallel mealy automata. The synchronous component can be captured in an atom block with the corresponding local control clock while the asynchronous component in an atom block without clock, and the asynchronous communications can be captured in the data port connections among blocks. The unified operational semantics and formal semantics are defined, which can be used for simulation and verification, respectively. Then, we can generate efficient VHDL code from the validated model, which can be synthesized into the FPGA processor for execution directly. We have developed the graphical modeling, simulation, verification, and code generation toolkit to support the computation model, and applied it in the design of a sub-system used in the real train communication control.

A Dual-Core 8051 Microcontroller System Based on Synchronous-Logic and Asynchronous-Logic

Design of NAND Flash Controller Supporting ONFI Synchronous Mode

A 2-Gb/s/pin Source Synchronous CDMA Bus Interface with Simultaneous Multi-Chip Access and Reconfigurable I/O Capability

Design of Dual-Shared Dram Controller Based on Switch

A Dual Core Oxide 8T SRAM Cell with Low Vccmin and Dual Voltage Supplies in 45nm Triple Gate Oxide and Multi Vt CMOS for Very High Performance Yet Low Leakage Mobile SoC Applications

Asynchronous Pipeline Micro-Control-Unit (mcu) Chip Design

A New Approach to Single Event Effect Tolerance Based on Asynchronous Circuit Technique

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.

LAC: A Novel Lightweight Asynchronous Controller with Optimized Phase Shift

DSS: Applying asynchronous techniques to architectures exploiting ILP at compile time

A Dual-Rail/single-rail Hybrid System Using Null Convention Logic Circuits

An 800mhz 320mw 16-Core Processor with Message-Passing and Shared-Memory Inter-Core Communication Mechanisms

An Asynchronous Bundled-Data Template with Current Sensing Completion Detection Technique

A Comparative Study on Asynchronous Quasi-Delay-Insensitive Templates.

Asynchronous Techniques for System-on-Chip Design

A simple high-efficient inter-core communication mechanism for multi-core systems

Design of Communication Mechanisms for Dual-Core on Chip and Its Application

A secure SoC architecture design with dual DMA controllers

Modified Triple Modular Redundancy Structure Based on Asynchronous Circuit Technique

An On-chip Communication Mechanism Design in the Embedded Heterogeneous Multi-core Architecture