NDLI: Design of synchronous action systems

Please wait, while we are loading the content...

2015 28th International Conference on VLSI Design

2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems

2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems

2012 25th International Conference on VLSI Design

2011 24th Internatioal Conference on VLSI Design

2010 23rd International Conference on VLSI Design

2009 22nd International Conference on VLSI Design

21st International Conference on VLSI Design (VLSID 2008)

20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07)

19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded Systems Design (VLSID'06)

18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design

17th International Conference on VLSI Design. Proceedings.

16th International Conference on VLSI Design, 2003. Proceedings.

VLSI Design 2001. Fourteenth International Conference on VLSI Design

VLSI Design 2000. Wireless and Digital Imaging in the Millennium. Proceedings of 13th International Conference on VLSI Design

VLSI Design 2000. Wireless and Digital Imaging in the Millennium. Proceedings of 13th International Conference on VLSI Design

Power Reduction Techniques for Portable DSP Applications

Theory and Applications of Cellular Automata for VLSI Design and Testing

Test Techniques and Trade-offs for Embedded Cores and Systems

CAD of RF Communication Systems: Techniques and Challenges

Analog Circuits for Wireless Communications

New Validation and Test Problems for High Performance Deep Sub-micron VLSI Circuits

Core Based ASIC Design

Partition, Packing and Clock Distribution: A New Paradigm of Physical Design

Low Power VLSI Signal Processing

Low voltage low power CMOS design techniques for deep submicron ICs

Low power realization of residue number system based FIR filters

An assertion based technique for transistor level dynamic power estimation

Relating data characteristics to transition activity in high-level static CMOS design

A low power 900 MHz register file (8 ports, 32 words/spl times/64 bits) in 1.8 V, 0.25 /spl mu/m SOI technology

Energy aware software

Performance and functional verification of microprocessors

Automatic component matching using forced simulation

Status condition analysis during data path verification of sequential circuits

Modelling VHDL in multiclock ESTEREL

Formal verification of synthesized mixed signal designs using *BMDs

Interface synthesis: issues and approaches

Processor evaluation in an embedded systems design environment

Combining background memory management and regular array co-partitioning, illustrated on a full motion estimation kernel

Optimal hardware/software partitioning for concurrent specification using dynamic programming

COWLS: hardware-software co-synthesis of distributed wireless low-power embedded client-server systems

Challenges of merging digital imaging and wireless communication

Design of an ASIC for straight line detection in an image

Digital imaging with wireless data services

GF(2/sup p/) CA based vector quantization for fast encoding of still images

Scalable pipelined micro-architecture for wavelet transform [image compression]

Interconnect statistical modeling, structures and measurement methodology

Design and analysis of power distribution networks with accurate RLC models

A methodology for the placement and optimization of decoupling capacitors for gigahertz systems [CMOS VLSI]

Inductive noise reduction at the architectural level

Estimation of switching noise on power supply lines in deep sub-micron CMOS circuits

Manufacturing and test considerations in system-on-chip designs

Cost trade-offs in system on chip designs

Manufacturability and testability oriented synthesis

Maximizing wafer productivity through layout optimizations

Hierarchical test generation for systems on a chip

A genetic algorithm for the synthesis of structured data paths

A technique for dynamic high-level exploration during behavioral-partitioning for multi-device architectures

High-level synthesis with variable-latency components

CREAM: combined register and module assignment with floorplanning for low power datapath synthesis

Design partitioning on single-chip emulation systems

Delay-constrained area recovery via layout-driven buffer optimization

Routing on switch matrix multi-FPGA systems

A transistor level placement tool for custom cell generation

On the transistor sizing problem

Evaluation of various routing architectures for multi-FPGA boards

A fast graph-based alternative wiring scheme for Boolean networks

Topological routing amidst polygonal obstacles

A tight area upper bound for slicing floorplans

A new definition and a new class of sequential circuits with combinational test generation complexity

Test transformation to improve compaction by statistical encoding

Design for strong testability of RTL data paths to provide complete fault efficiency

Choice of tests for logic verification and equivalence checking and the use of fault simulation

Automatic validation test generation using extracted control models

A fast algorithm for computing the Euler number of an image and its VLSI implementation

Optimisation of the one-dimensional full search algorithm and implementation using an EPLD

A single-chip programmable digital CMOS imager with enhanced low-light detection capability

Architecture and implementation of a high-definition video co-processor for digital television applications

Specification and design of a quasi-delay-insensitive Java card microprocessor

Trends in communication technology and its impact on semiconductor

Capturing the effect of crosstalk on delay

A practical approach to crosstalk noise verification of static CMOS designs

Inductance characterization of small interconnects using test-signal method

Zero-aliasing space compression using a single periodic output and its application to testing of embedded cores

Testing interconnects in a system chip

On synchronizing sequences and unspecified values in output responses of synchronous sequential circuits

Resource-constrained compaction of sequential circuit test sets

Testing flash memories

A versatile BIST technique combining test registers and accumulators

Dataflow analysis for resource contention and register leakage properties

Retargetable functional simulator using high level processor models

State-machine based logic simulation using three logic values

Hierarchical error diagnosis targeting RTL circuits

Fast error diagnosis for combinational verification

Verification of a combinational loop based arbitration scheme in a system-on-chip integration architecture

Efficient implementation of ADPCM codec

Simultaneous module selection and scheduling for power-constrained testing of core based systems

A framework for cost vs. performance tradeoffs in the design of digital signal processor cores

SOI digital circuits: design issues

Jitter estimation methodology for clock chips

A 3.3 V compatible 2.5 V TTL-to-CMOS bidirectional I/O buffer

Silicon heterostructure devices for RF wireless communication

Design of OTA based field programmable analog array [CMOS VLSI]

Convergence issues in resonant tunneling diode circuit simulation

Spectral theory of disjunctive decomposition for balanced Boolean functions

Synthesizable RAM-alternative to low configuration compiler memory for die area reduction

Timing analysis with implicitly specified false paths

Clock selection for performance optimization of control-flow intensive behaviors

Performance analysis of systems with multi-channel communication architectures

An ASIC for cellular automata based message authentication

Cellular automata based deterministic test sequence generator for sequential circuits

An efficient hierarchical fault isolation technique for mixed-signal boards

Theory and application of GF(2/sup p/) cellular automata as on-chip test pattern generator

Application of GF(2/sup p/) CA in burst error correcting codes

Built-in self-test in mixed-signal ICs: a DTMF macrocell

A mixed-signal BIST scheme with time-division multiplexing (TDM) comparator and counters

Design of synchronous action systems

Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)

Proceedings Eleventh International Conference on VLSI Design

Proceedings Tenth International Conference on VLSI Design

Proceedings of 9th International Conference on VLSI Design

Proceedings of the 8th International Conference on VLSI Design

Proceedings of 7th International Conference on VLSI Design

The Sixth International Conference on VLSI Design

The Fifth International Conference on VLSI Design

Design of synchronous action systems

Content Provider	IEEE Xplore Digital Library
Author	Plosila, J. Seceleanu, T.
Copyright Year	2000
Description	Author affiliation: Dept. of Appl. Phys., Turku Univ., Finland (Plosila, J.)
Abstract	The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper we present a set of concepts necessary in the formal design of synchronous hardware, using synchronous action systems. These explicitly model synchronous two-phase behavior. They are developed using the refinement calculus in a usual manner. The fundamental idea of synchronous action systems is to make a formal description transparent in the sense that its hardware implementation can be obtained by direct mapping. The presented design methodology also allows a postponed decision on the final implementation aspects regarding the architecture (synchronous/asynchronous).
Starting Page	578
Ending Page	583
File Size	130010
Page Count	6
File Format	PDF
ISBN	0769504876
ISSN	10639667
DOI	10.1109/ICVD.2000.812670
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2000-01-03
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Hardware Calculus Design methodology Circuit synthesis Physics Computer science Very large scale integration Timing Clocks Design automation
Content Type	Text
Resource Type	Article
Subject	Electrical and Electronic Engineering Hardware and Architecture

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Libarray of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in