Integration
Name
Integration
Subjects
Specification methods and languages
Analog/Digital Integrated Circuits and Systems
VLSI architectures
Algorithms, methods and tools for modeling, simulation, synthesis and verification of integrated circuits and systems of any complexity
Embedded systems
High-level synthesis for VLSI systems
Logic synthesis and finite automata
Testing, design-for-test and test generation algorithms
Physical design
Formal verification
Algorithms implemented in VLSI systems
Systems engineering
Heterogeneous systems
ISSN
0167-9260
Impact Factor (2 years)
1.15
Publisher
Elsevier
Journal type
openaccess
Journal Webpage