IFIP Advances in Information and Communication Technology - Logic and Architecture Synthesis
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781504129237, 9780387349206

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Symmetry Based Variable Ordering for ROBDDs

IFIP Advances in Information and Communication Technology - Logic and Architecture Synthesis ◽

10.1007/978-0-387-34920-6_7 ◽

1995 ◽

pp. 70-81 ◽

Cited By ~ 4

Author(s):

Dirk Möller ◽

Paul Molitor ◽

Rolf Drechsler

Keyword(s):

Variable Ordering

Download Full-text

Combined approach of ROBDDs and structural analysis in the mapping and matching of logic functions

IFIP Advances in Information and Communication Technology - Logic and Architecture Synthesis ◽

10.1007/978-0-387-34920-6_4 ◽

1995 ◽

pp. 41-56

Author(s):

A. M. Trullemans ◽

R. Jacobi ◽

Q. Zhang

Keyword(s):

Structural Analysis ◽

Combined Approach ◽

Logic Functions

Download Full-text

Delay/Area Trade-Off Exploration Using an Architectural Jiggling Algorithm

IFIP Advances in Information and Communication Technology - Logic and Architecture Synthesis ◽

10.1007/978-0-387-34920-6_26 ◽

1995 ◽

pp. 261-267

Author(s):

C. J. Rouse ◽

A. J. Carter

Keyword(s):

Trade Off

Download Full-text

RAM-based architectural synthesis

IFIP Advances in Information and Communication Technology - Logic and Architecture Synthesis ◽

10.1007/978-0-387-34920-6_23 ◽

1995 ◽

pp. 233-244

Author(s):

Peter Marwedel ◽

Birger Landwehr

Keyword(s):

Architectural Synthesis

Download Full-text

Behavioral synthesis: control schemes in question

IFIP Advances in Information and Communication Technology - Logic and Architecture Synthesis ◽

10.1007/978-0-387-34920-6_22 ◽

1995 ◽

pp. 223-229

Author(s):

B. Rouzeyre ◽

D. Dupont

Keyword(s):

Behavioral Synthesis ◽

Control Schemes

Download Full-text

ROM-based Multi Thread Controller

IFIP Advances in Information and Communication Technology - Logic and Architecture Synthesis ◽

10.1007/978-0-387-34920-6_16 ◽

1995 ◽

pp. 169-175

Author(s):

H. A. Hilderink ◽

J. A. G. Jess

Download Full-text

High Level Synthesis by Systematic Derivation of Vision Automata from Emulation Results

IFIP Advances in Information and Communication Technology - Logic and Architecture Synthesis ◽

10.1007/978-0-387-34920-6_30 ◽

1995 ◽

pp. 300-306

Author(s):

I. C. Kraljić ◽

G. M. Quénot ◽

B. Zavidovique

Keyword(s):

High Level Synthesis ◽

High Level ◽

Systematic Derivation

Download Full-text

Efficient ROBDD based computation of common decomposition functions of multi-output boolean functions

IFIP Advances in Information and Communication Technology - Logic and Architecture Synthesis ◽

10.1007/978-0-387-34920-6_5 ◽

1995 ◽

pp. 57-63 ◽

Cited By ~ 2

Author(s):

Christoph Scholl ◽

Paul Molitor

Keyword(s):

Boolean Functions

Download Full-text

Self-test with deterministic test pattern generators

IFIP Advances in Information and Communication Technology - Logic and Architecture Synthesis ◽

10.1007/978-0-387-34920-6_39 ◽

1995 ◽

pp. 377-388 ◽

Cited By ~ 1

Author(s):

Arno Kunzmann ◽

Sven Kriebel

Keyword(s):

Test Pattern ◽

Self Test ◽

Pattern Generators

Download Full-text

BONSAI: A pragmatic approach to Logic Synthesis and Formal Verification

IFIP Advances in Information and Communication Technology - Logic and Architecture Synthesis ◽

10.1007/978-0-387-34920-6_3 ◽

1995 ◽

pp. 26-37

Author(s):

H. N. Nguyen ◽

L. Ducousso

Keyword(s):

Formal Verification ◽

Logic Synthesis ◽

Pragmatic Approach

Download Full-text

IFIP Advances in Information and Communication Technology - Logic and Architecture SynthesisLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Symmetry Based Variable Ordering for ROBDDs

Combined approach of ROBDDs and structural analysis in the mapping and matching of logic functions

Delay/Area Trade-Off Exploration Using an Architectural Jiggling Algorithm

RAM-based architectural synthesis

Behavioral synthesis: control schemes in question

ROM-based Multi Thread Controller

High Level Synthesis by Systematic Derivation of Vision Automata from Emulation Results

Efficient ROBDD based computation of common decomposition functions of multi-output boolean functions

Self-test with deterministic test pattern generators

BONSAI: A pragmatic approach to Logic Synthesis and Formal Verification

IFIP Advances in Information and Communication Technology - Logic and Architecture Synthesis
Latest Publications