Conferences in DBLP
Mahesh Mehendale , Sunil D. Sherlekar Power Reduction Techniques for Portable DSP Applications. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:3- [Conf ] Parimal Pal Chaudhuri , Dipanwita Roy Chowdhury , Kolin Paul , Biplab K. Sikdar Theory and Applications of Cellular Automata for VLSI Design and Testing. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:4- [Conf ] Rubin A. Parekhji Test Techniques and Trade-offs for Embedded Cores and Systems. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:5- [Conf ] Laurence Nagel , Jaijeet S. Roychowdhury Computer-aided Design of RF Communication Systems: Techniques and Challenges. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:6- [Conf ] Ramesh Harjani Analog Circuits for Wireless Communications. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:7- [Conf ] Melvin A. Breuer , Sandeep K. Gupta New Validation and Test Problems for High Performance Deep Submicron VLSI Circuits. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:8- [Conf ] Frank P. Higgins , Sudipta Bhawmik Core Based ASIC Design. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:10- [Conf ] Yoji Kajitani , Atsushi Takahashi , Kengo R. Azegami , Shigetoshi Nakatake Partition, Packing and Clock Distribution-A New Paradigm of Physical Design. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:11- [Conf ] Kaushik Roy , Khurram Muhammad Low Power VLSI Signal Processing. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:12- [Conf ] Avtar Saini Computing and Communication in the New Millennium. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:15- [Conf ] Ajoy K. Bose EDA-The Next Generation. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:19- [Conf ] Raul Camposano , Warren Savage , John Chilton IP Reuse in System on a Chip Design. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:20-0 [Conf ] Liqiong Wei , Kaushik Roy , Vivek De Low Voltage Low Power CMOS Design Techniques for Deep Submicron ICs. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:24-29 [Conf ] M. N. Mahesh , Mahesh Mehendale Low Power Realization of Residue Number System Based FIR Filters. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:30-33 [Conf ] Savithri Sundareswaran , R. Venkatesan , S. Bhaskar An Assertion Based Technique for Transistor Level Dynamic Power Estimation. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:34-37 [Conf ] Russell Henning , Chaitali Chakrabarti Relating Data Characteristics to Transition Activity in High-Level Static CMOS Design. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:38-43 [Conf ] Rajiv V. Joshi , Wei Hwang , S. C. Wilson , Ghavam V. Shahidi , Ching-Te Chuang A Low Power 900 MHz Register File (8 Ports, 32 Words x 64 Bits) in 1.8V, 0.25µm SOI Technology. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:44-49 [Conf ] Amit Sinha , Anantha Chandrakasan Energy Aware Software. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:50-0 [Conf ] Pradip Bose , Jacob A. Abraham Performance and Functional Verification of Microprocessors. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:58-63 [Conf ] Partha S. Roop , Arcot Sowmya , S. Ramesh Automatic Component Matching Using Forced Simulation. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:64-69 [Conf ] Dipankar Sarkar Status Condition Analysis during Data Path Verification of Sequential Circuits. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:70-75 [Conf ] Basant Rajan , R. K. Shyamasundar Modeling VHDL in Multiclock ESTEREL. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:76-83 [Conf ] Abhijit Ghosh , Ranga Vemuri Formal Verification of Synthesized Mixed Signal Designs Using *BMDs. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:84-0 [Conf ] Arvind Rajawat , M. Balakrishnan , Anshul Kumar nterface Synthesis: Issues and Approaches. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:92- [Conf ] T. Vinod Kumar Gupta , Purvesh Sharma , M. Balakrishnan , Sharad Malik Processor Evaluation in an Embedded Systems Design Environment. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:98-103 [Conf ] Rainer Schaffer , Renate Merker , Francky Catthoor Combining Background Memory Management and Regular Array Co-Partitioning, Illustrated on a Full Motion Estimation Kernel. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:104-109 [Conf ] Aviral Shrivastava , Mohit Kumar , Sanjiv Kapoor , Shashi Kumar , M. Balakrishnan Optimal Hardware/Software Partitioning for Concurrent Specification Using Dynamic Programming. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:110-113 [Conf ] Robert P. Dick , Niraj K. Jha COWLS: Hardware-Software Co-Synthesis of Distributed Wireless Low-Power Embedded Client-Server Systems. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:114-0 [Conf ] Werner Metz , Tinku Acharya Challenges of Merging Digital Imaging and Wireless Communication. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:122-127 [Conf ] Arun K. Majumdar , Nirav Patel Design of an ASIC for Straight Line Detection in an Image. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:128-133 [Conf ] Sandip Sarkar Digital Imaging with Wireless Data Services. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:134-139 [Conf ] Kolin Paul , Ranadeep Ghosal , Biplab K. Sikdar , Santashil Pal Chaudhuri , Dipanwita Roy Chowdhury GF(2p) CA Based Vector Quantization for Fast Encoding of Still Images. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:140-143 [Conf ] Kolin Paul , Parimal Pal Chaudhuri , Dipanwita Roy Chowdhury Scalable Pipelined Micro-Architecture for Wavelet Transform. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:144-0 [Conf ] Akis Doganis Interconnect Statistical Modeling: Structures and Measurement Methodologies. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:150- [Conf ] Rajat Chaudhry , Rajendran Panda , Tim Edwards , David Blaauw Design and Analysis of Power Distribution Networks with Accurate RLC Models. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:151-155 [Conf ] Jinseong Choi , Sungjun Chun , Nanju Na , Madhavan Swaminathan , Larry Smith A Methodology for the Placement and Optimization of Decoupling Capacitors for Gigahertz Systems. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:156-161 [Conf ] Mondira Deb Pant , Pankaj Pant , D. Scott Wills , Vivek Tiwari Inductive Noise Reduction at the Architectural Level. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:162-167 [Conf ] Shiyou Zhao , Kaushik Roy Estimation of Switching Noise on Power Supply Lines in Deep Sub-micron CMOS Circuits. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:168-0 [Conf ] Manuel A. d'Abreu Manufacturing and Test Considerations in System-On-Chip Designs. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:176-177 [Conf ] Jitendra Khare , Hans T. Heineken , M. d'Abreu Cost Trade-Offs in System On Chip Designs. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:178-184 [Conf ] Saghir A. Shaikh , Jitendra Khare , Hans T. Heineken Manufacturability and Testability Oriented Synthesis. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:185-191 [Conf ] Charles H. Ouyang , Hans T. Heineken , Jitendra Khare , Saghir A. Shaikh , M. d'Abreu Maximizing Wafer Productivity Through Layout Optimization. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:192-197 [Conf ] Raghuram S. Tupuri , Jacob A. Abraham , Daniel G. Saab Hierarchical Test Generation for Systems On a Chip. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:198-0 [Conf ] Chittaranjan A. Mandal , R. M. Zimmer A Genetic Algorithm for the Synthesis of Structured Data Paths. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:206-211 [Conf ] Sriram Govindarajan , Vinoo Srinivasan , Preetham Lakshmikanthan , Ranga Vemuri A Technique for Dynamic High-Level Exploration During Behavioral-Partitioning for Multi-Device Architectures. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:212-219 [Conf ] Vijay Raghunathan , Srivaths Ravi , Ganesh Lakshminarayana High-Level Synthesis with Variable-Latency Components. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:220-227 [Conf ] Vamsi K. Srikantam , N. Ranganathan , Srikanth Srinivasan CREAM: Combined Register and Module Assignment with Floorplanning for Low Power Datapath Synthesis. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:228-233 [Conf ] Abdel Ejnioui , N. Ranganathan Design Partitioning on Single-Chip Emulation Systems. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:234-239 [Conf ] Rajeev Murgai Delay-Constrained Area Recovery Via Layout-Driven Buffer Optimization. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:240-0 [Conf ] Abdel Ejnioui , N. Ranganathan Routing on Switch Matrix Multi-FPGA Systems. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:248-253 [Conf ] Ranjit K. Dash , T. Pramod , Vinita Vasudevan , M. Ramakrishna A Transistor Level Placement Tool for Custom Cell Generation. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:254-257 [Conf ] Abhijit Das On the Transistor Sizing Problem. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:258-261 [Conf ] Sushil Chandra Jain , Shashi Kumar , Anshul Kumar Evaluation of Various Routing Architectures for Multi-FPGA Boards. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:262-267 [Conf ] Yu-Liang Wu , Wangning Long , Hongbing Fan A Fast Graph-Based Alternative Wiring Scheme for Boolean Networks. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:268-273 [Conf ] Swarup Bhunia , Subhashis Majumder , Ayan Sircar , Susmita Sur-Kolay , Bhargab B. Bhattacharya Topological Routing Amidst Polygonal Obstacles. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:274-279 [Conf ] Helvio P. Peixoto , Margarida F. Jacome , Ander Royo A Tight Area Upper Bound for Slicing Floorplans. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:280-0 [Conf ] Hideo Fujiwara A New Definition and a New Class of Sequential Circuits with Combinational Test Generation Complexity. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:288-293 [Conf ] Hideyuki Ichihara , Kozo Kinoshita , Irith Pomeranz , Sudhakar M. Reddy Test Transformation to Improve Compaction by Statistical Encoding. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:294-299 [Conf ] Hiroki Wada , Toshimitsu Masuzawa , Kewal K. Saluja , Hideo Fujiwara Design for Strong Testability of RTL Data Paths to Provide Complete Fault Efficiency. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:300-305 [Conf ] Vishwani D. Agrawal Choice of Tests for Logic Verification and Equivalence Checking. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:306-311 [Conf ] Robert W. Sumners , Jayanta Bhadra , Jacob A. Abraham Automatic Validation Test Generation Using Extracted Control Models. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:312-0 [Conf ] John Scarisbric DSP-The Real Time Technology for the New Millennium. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:321-0 [Conf ] Grant Martin Surviving the SOC Revolution: The Platform Approach to SOC Design. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:325-0 [Conf ] Sabyasachi Dey , Bhargab B. Bhattacharya , Malay Kumar Kundu , Tinku Acharya A Fast Algorithm for Computing the Euler Number of an Image and its VLSI Implementation. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:330-335 [Conf ] Rajesh T. N. Rajaram , Vinita Vasudevan Optimization of the One-Dimensional Full Search Algorithm and Implementation Using an EPLD. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:336-341 [Conf ] Bedabrata Pain , Guang Yang , Monico Ortiz , Kenneth McCarty , Julie Heynssens , Bruce Hancock , Thomas Cunningham , Chris Wrigley , Charlie Ho A Single-Chip Programmable Digital CMOS Imager with Enhanced Low-Light Detection Capability. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:342-349 [Conf ] Santanu Dutta , Deepak Singh , Essam Abu-Ghoush , Vijay Mehra Architecture and Implementation of a High-Definition Video Co-Processor for Digital Television Applications. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:350-359 [Conf ] Fu-Chiung Cheng , Chuin-Ren Wang Specification and Design of a Quasi-Delay-Insensitive Java Card. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:356-361 [Conf ] Santanu Das Trends in Communication Technology and its Impact on Semiconductor. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:362-0 [Conf ] Sachin S. Sapatnekar Capturing the Effect of Crosstalk on Delay. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:364-369 [Conf ] N. S. Nagaraj , Frank Cano , Duane Young , Deepak Vohra , Manoj Das A Practical Approach to Crosstalk Noise Verification of Static CMOS Designs. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:370-375 [Conf ] Jeegar Tilak Shah , Madhav P. Desai , Sugata Sanyal Inductance Characterization of Small Interconnects Using Test-Signal Method. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:376-0 [Conf ] Bhargab B. Bhattacharya , Alexej Dmitriev , Michael Gössel Zero-Aliasing Space Compression using a Single Periodic Output and its Application to Testing of Embedded Cores. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:382-391 [Conf ] Irith Pomeranz , Sudhakar M. Reddy On Synchronizing Sequences and Unspecified Values in Output Responses of Synchronous Sequential Circuits. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:392-397 [Conf ] Surendra Bommu , Srimat T. Chakradhar , Kiran B. Doreswamy Resource-Constrained Compaction of Sequential Circuit Test Sets. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:398-405 [Conf ] Mohammad Gh. Mohammad , Kewal K. Saluja , Alex Yap Testing Flash Memories. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:406-411 [Conf ] Frank Mayer , Albrecht P. Stroele A Versatile BIST Technique Combining Test Registers and Accumulators. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:412-0 [Conf ] Subir K. Roy , Hiroaki Iwashita , Tsuneo Nakata Dataflow Analysis for Resource Contention and Register Leakage Properties. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:418-423 [Conf ] Subhash Chandra , Rajat Moona Retargetable Functional Simulator Using High Level Processor Models. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:424-429 [Conf ] Peter M. Maurer , William J. Schilp State-Machine Based Logic Simulation Using Three Logic Values. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:430-435 [Conf ] Vamsi Boppana , Indradeep Ghosh , Rajarshi Mukherjee , Jawahar Jain , Masahiro Fujita Hierarchical Error Diagnosis Targeting RTL Circuits. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:436-441 [Conf ] Aarti Gupta , Pranav Ashar Fast Error Diagnosis for Combinational Verification. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:442-448 [Conf ] Yang Xia , Pranav Ashar Verification of a Combinational Loop Based Arbitration Scheme in a System-On-Chip Integration Architecture. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:449-0 [Conf ] Anil Sharma , C. P. Ravikumar Efficient Implementation of ADPCM Codec. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:456-461 [Conf ] C. P. Ravikumar , Gaurav Chandra , Ashutosh Verma Simultaneous Module Selection and Scheduling for Power-Constrained Testing of Core Based Systems. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:462-467 [Conf ] Karthikeyan Madathil , Jagdish C. Rao , Subash G. Chandar , Amitabh Menon , Avinash K. Gautam , Amit M. Brahme , H. Udayakumar A Framework for Cost vs. Performance Tradeoffs in the Design of Digital Signal Processor Cores. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:468-0 [Conf ] Ruchir Puri , Ching-Te Chuang SOI Digital Circuits: Design Issues. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:474-479 [Conf ] Sanjeev Kumar Maheshwari , R. S. Krishanan , G. S. Visweswaran Jitter Estimation Methodology for Clock Chips. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:480-482 [Conf ] Sanjeev Kumar Maheshwari , G. S. Visweswaran A 3.3V Compatible 2.5V TTL-to-CMOS Bidirectional I/O Buffer. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:484-487 [Conf ] B. Senapati , C. K. Maiti , Nirmal B. Chakrabarti Silicon Heterostructure Devices for RF Wireless Communication. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:488-491 [Conf ] Baidya Nath Ray , Parimal Pal Chaudhuri , Prasanta Kumar Nandi Design of OTA Based Field Programmable Analog Array. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:492-497 [Conf ] Mayukh Bhattacharya , Pinaki Mazumder Convergence Issues in Resonant Tunneling Diode Circuit Simulation. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:499-0 [Conf ] Bogdan J. Falkowski , Sudha Kannurao Spectral Theory of Disjunctive Decomposition for Balanced Boolean Functions. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:506-511 [Conf ] B. Suresh , Biswadeep Chaterjee , R. Harinath Synthesizable RAM-Alternative to Low Configuration Compiler Memory for Die Area Reduction. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:512-517 [Conf ] Eugene Goldberg , Alexander Saldanha Timing Analysis with Implicitly Specified False Paths. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:518-522 [Conf ] Kamal S. Khouri , Niraj K. Jha Clock Selection for Performance Optimization of Control-Flow Intensive Behaviors. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:523-529 [Conf ] Kanishka Lahiri , Sujit Dey , Anand Raghunathan Performance Analysis of Systems with Multi-Channel Communication Architectures. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:530-537 [Conf ] Prabir Dasgupta , Santanu Chattopadhyay , Indranil Sengupta An ASIC for Cellular Automata Based Message Authentication. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:538-0 [Conf ] Prabir Dasgupta , Santanu Chattopadhyay , Indranil Sengupta Cellular Automata Based Deterministic Test Sequence Generator for Sequential Circuits. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:544-549 [Conf ] Sasikumar Cherubal , Abhijit Chatterjee An Efficient Hierarchical Fault Isolation Technique for Mixed-Signal Boards. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:550-555 [Conf ] Biplab K. Sikdar , Kolin Paul , Gosta Pada Biswas , Parimal Pal Chaudhuri , Vamsi Boppana , Cliff Yang , Sobhan Mukherjee Theory and Application of GF(2p) Cellular Automata as On-chip Test Pattern Generator. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:556-561 [Conf ] Kolin Paul , Dipanwita Roy Chowdhury Application of GF(2p) CA in Burst Error Correcting Codes. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:562-567 [Conf ] Gloria Huertas , Diego Vázquez , Adoración Rueda , José L. Huertas Built-In Self-Test in Mixed-Signal ICs: A DTMF Macrocell. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:568-571 [Conf ] Jeongjin Roh , Jacob A. Abraham A Mixed-Signal BIST Scheme with Time-Division Multiplexing (TDM) Comparator and Counters. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:572-0 [Conf ] Juha Plosila , Tiberiu Seceleanu Design of Synchronous Action Systems. [Citation Graph (0, 0)][DBLP ] VLSI Design, 2000, pp:578-583 [Conf ]