Logic Optimization of Asynchronous Speed-Independent Circuits Using Transduction Methods (特集:システムLSIの設計技術と設計自動化)
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we present an optimization method of asynchronous speed-independent circuits based on transduction methods. Although transduction methods are well used for the optimization of multi-level combinational circuits, the direct application to speed-independent circuits may leads to a malfunction of circuits because the property of hazard-freeness guaranteed by circuits is broken. Therefore, we discuss how to optimize speed-independent circuits by using transduction methods without leading any hazardous behavior. For instance, we extend the gate substitution algorithm in transduction methods. Finally, we evaluate the efficiency of the extended gate substitution algorithm by applying it to several benchmark circuits.
- 一般社団法人情報処理学会の論文
- 2004-05-15
著者
-
NAKAMURA Hiroshi
Research Center for Advanced Science and Technology, the University of Tokyo
-
NANYA Takashi
Research Center for Advanced Science and Technology, the University of Tokyo
-
SAITO HIROSHI
Research Center for Cancer Prevention and Screening, National Cancer Center
-
Nanya T
Research Center For Advanced Science And Technology The University Of Tokyo
-
Nanya Takashi
Research Center For Advanced Science & Technology University Of Tokyo
-
Fujita Masahiro
Department Of Anatomy Sapporo Medical University
-
Fujita Masahiro
Department Of Electrical Engineering The University Of Tokyo
-
Saito H
Research Center For Advanced Science And Technology The University Of Tokyo
-
Nakamura Hiroshi
Research And Development Division Technical Research Loborotory Kawasaki Dockyard Co. Ltd.
関連論文
- Design Method of High Performance and Low Power Functional Units Considering Delay Variations(Circuit Synthesis,VLSI Design and CAD Algorithms)
- RECURRENCE AFTER ENDOSCOPIC MUCOSAL RESECTION OF ESOPHAGEAL SQUAMOUS CELL CARCINOMA INVADING THE MUSCULARIS MUCOSAE OR UPPER SUBMUCOSA
- Endoscopic Ultrasonography for the Detection of Lymph Node Metastasis in Superficial Esophageal Carcinoma
- A Cascade ALU Architecture for Asynchronous Super-Scalar Processors (Special Issue on Low-Power High-Performance VLSI Processors and Technologies
- A MULTICENTER RANDOMIZED CONTROLLED TRIAL DESIGNED TO EVALUATE FOLLOW-UP SURVEILLANCE STRATEGIES FOR COLORECTAL CANCER : THE JAPAN POLYP STUDY
- Primary low-grade gastric mucosa-associated lymphoid tissue (MALT) lymphoma with polypoid appearance. Polypoid gastric MALT lymphoma : A clinicopathologic study of eight cases
- Development of Three-Dimensional Structure Formation Simulator of Colloidal Nanoparticles during Drying
- Improvement of the Uniformity of Tungsten / Carborn Multilayers by Thermal Processing
- Normal-Incidence X-Ray Microscope for Carbon Kα Radiation with 0.5 μm Resolution
- Jejunal carcinoid tumor mimicking leiomyosarcoma: preoperative diagnosis by endoscopic biopsy
- Expression of sulfated carbohydrate chain and core peptides of mucin detected by monoclonal antibodies in Barrett's esophagus and esophageal adenocarcinoma
- Formation of Well-Aligned Thin Films of Rod-Like Nanoparticles via Solvent Evaporation : A Simulation Study
- Cell cycle control by daf-21/Hsp90 at the first meiotic prophase/metaphase boundary during oogenesis in Caenorhabditis elegans
- Effects of Particle Size on the Monolayer Structure of Nanoparticles Formed via a Wet-Coating Process
- Mobile Service Control Point for Intelligent and Multimedia Mobile Communications (Special Issue on Mobile Multimedia Communications)
- Effect of strength of the flyer plate material on the collision parameters in explosive welding
- The AMS Extension to System Level Design Language-SpecC(System Level Design,VLSI Design and CAD Algorithms)
- Synchronization Mechanism for Timed/Untimed Mixed-Signal System Level Design Environment(Selected Papers from the 18th Workshop on Circuits and Systems in Karuizawa)
- Influence of Annealing Method on Microscopic One-to-One Correlation between Threshold Voltage of GaAs MESFET and Dislocation
- The Dependence of Threshold Voltage Scattering of GaAs MESFET on Annealing Method
- Improved Threshold Voltage Uniformity in GaAs MESFET Using High Purity MOCVD-Grown Buffer Layer as a Substrate for Ion Implantation
- Synthesis of Serial Local Clock Controllers for Asynchronous Circuit Design(IP Design)(VLSI Design and CAD Algorithms)
- Synthesis of Serial Local Clock Controllers for Asynchronous Circuit Design
- Crystal Growth of CuGaS_2 from Te, Te-Cu and Te-Cu-S Solutions
- 639 Investigation on Performance of Extremely High Impulsive Pressure Generator Using Collision of High Velocity Jet
- Effects of Vigabatrin on the GABAergic System as Determined by [^(123)I] Iomazenil SPECT and GABA MRS
- Design of Asynchronous Controllers with Delay Insensitive Interface(Special Section on VLSI Design and CAD Algorithms)
- Verification and Violation Correction of Timing Constraints for Gate-Level Asynchronous Circuits (特集:システムLSIの設計技術と設計自動化)
- Verification of Timing Constraints for Fine-Grain Pipelined Asynchronous Data-Path Circuits (デザインガイヤ2000) -- (VLSIの設計/検証/テスト及び一般)
- Verification of Timing Constraints for Fine-Grain Pipelined Asynchronous Data-Path Circuits (デザインガイヤ2000) -- (VLSIの設計/検証/テスト及び一般)
- Verification of Timing Constraints for Fine-Grain Pielined Asynchronous Data-Path Circuits (デザインガイヤ2000) -- (VLSIの設計/検証/テスト及び一般)
- 3E-3 Layout Methodology for SDI Model Asynchronous Circuits
- Effects of an Oral Administration of Glucosamine-Chondroitin-Quercetin Glucoside on the Synovial Fluid Properties in Patients with Osteoarthritis and Rheumatoid Arthritis
- Evaluation of Checkpointing Mechanism on Score Cluster System(Dependable Software)(Dependable Computing)
- Flash Radiographic Study of Shock Wave Propagation in Laminated Composites
- On the Rotary Bending Fatigue Strength of Induction Hardened Crankshaft
- 3A12 Flow Cytometric Nuclear DNA Content Analysis of Renal Tumors in Children
- Effects of an Oral Administration of Glucosamine-Chondroitin-Quercetin Glucoside on the Synovial Fluid Properties in Patients with Osteoarthritis and Rheumatoid Arthritis
- A database replication middleware with fine-grained concurrency control (データベースシステム)
- Synthesis of Asynchronous Circuits from Signal Transition Graph Specifications (Special Issue on Asynchronous Circuit and System Design)
- On Concurrent Error Detection of Asynchronous Circuits Using Mixed-Signal Approach (Special Issue on Asynchronous Circuit and System Design)
- Can hybrid FDG-PET/CT detect subclinical lymph node metastasis of esophageal cancer appropriately and contribute to radiation treatment planning? A comparison of image-based and pathological findings
- Myogenic lineage differentiated mesenchymal stem cells enhance recovery from dextran sulfate sodium-induced colitis in the rat
- Performance Comparison of Synchronous and Asynchronous VLSI Systems
- Direct Simulation Model of Concentrated Particulate Flow in Pressure-Driven Dead-End Microfiltration
- Two-Dimensional Simulation of Lift Velocities of Spherical Particles in Crossflow Microfiltration
- Fluorescence Chemosensor with Specific Response for Mg^
- Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams(Logic and High Synthesis)(VLSI Design and CAD Algorithms)
- An explosive bonding method performed by reflective action of underwater shock wave
- 640 An Effective Application of Reflective Action of Underwater Shock Wave for Explosive Bonding Process
- Synthesis Algorithm for Asynchronous Circuits from STG specifications
- Applications of SPECT imaging of dopaminergic neurotransmission in neuropsychiatric disorders
- Finding Unique PCR Products on Distributed Databases
- Tolerating Interaction Faults Originated From External Systems
- Tolerating Interaction Faults Originated From External Systems
- Special Issue on Asynchronous Circuit and System Design
- Logic Optimization of Asynchronous Speed-Independent Circuits Using Transduction Methods (特集:システムLSIの設計技術と設計自動化)
- Basic Characteristics of the Explosive Welding Technique Using Underwater Shock Wave and Its Possibilities
- Thin Film of Silica Nanoparticles with Highly Ordered Hemispherical Macropores
- Formal Verification based on recurrence equations and equivalence checking
- Special Issue on Fault-Tolerant Computing
- Simulation Model of Concentrated Colloidal Rod-Like Nanoparticles
- Computation of Capillary Interactions among Many Particles at Free Surface
- Residents' Evaluation of Local Portal Site's Providers in Terms of Credibility(APCIM2009 Best Papers)