|
R1. System-on-Chip (SOC) Platforms and Applications
R1.1 Application-specific platforms
R1.2 Virtual and hardware prototyping
R1.3 Flows and methods for specific applications and design domains
R1.4 Solutions for managing SOC constraints: reliability, power, security, etc.
R1.5 Custom memory and storage
R1.6 SOC design case studies
R2. System-Level Design and Codesign
R2.1 System specification, modeling, simulation, verification, and performance analysis
R2.2 Scheduling, HW/SW partitioning, HW/SW interface synthesis
R2.3 IP and platform-based design
R2.4 Security and IP protection
R2.5 Design of Multiprocessor System-On-Chip (MPSOC)
R2.6 Application-specific processor design tools
R3. System-Level Communication and Networks-On-Chip
R3.1 Modeling and performance analysis
R3.2 Communications-based design, communication and network synthesis
R3.3 Optimization for energy, fault tolerance, reliability
R3.4 Interfacing and software issues, beyond-the-die communication
R3.5 NOC design methodologies, case studies and prototyping
R4. Power Analysis and Low-Power Design
R4.1 System-level power design and thermal management
R4.2 System/Architectural low-power techniques: partitioning, scheduling, and resource management
R4.3 High-level power estimation and optimization
R4.4 Gate-level power analysis and optimization
R4.5 Device and circuit techniques for low-power design
R4.6 Power-aware and energy-efficient wireless protocols, algorithms and design techniques
R5. Verification
R5.1 Functional, transaction-level, RTL, and gate-level modeling and verification of hardware design
R5.2 Dynamic simulation, equivalence checking, formal (and semiformal) verification model and property checking
R5.3 Emulation and hardware simulators or accelerator engines
R5.4 Modeling languages and related formalisms, verification plan development and implementation
R5.5 Assertion-based verification, coverage analysis, constrained random testbench generation
R5.6 Verification techniques for software correctness
R6. High-Level Synthesis, Logic Synthesis and Circuit Optimization
R6.1 Combinational, sequential and asynchronous logic synthesis
R6.2 Library mapping, cell-based design and optimization
R6.3 Transistor and gate sizing, resynthesis
R6.4 Interactions between logic design and layout or physical synthesis
R6.5 High-level, behavioral, algorithmic, and architectural synthesis, “C” to gates tools and methods
R6.6 Resource scheduling, allocation, and synthesis
R7. Circuit, Interconnect and Manufacturing Simulation and Analysis
R7.1 Electrical, thermal, and electro-thermal simulation
R7.2 Model order reduction methods
R7.3 Interconnect and substrate modeling and extraction
R7.4 High-frequency and electromagnetic simulation of circuits
R7.5 Process technology characterization, and modeling
R7.6 Technology CAD and fab automation
|
R8. Timing Analysis, Integrity and Design Reliability
R8.1 Deterministic and statistical timing analysis
R8.2 Signal integrity and substrate noise
R8.3 Power delivery analysis and optimization
R8.4 Electrical and thermal reliability
R8.5 Soft errors
R8.6 Novel clocking methodologies
R9. Physical Design and Manufacturability
R9.1 Floorplanning, partitioning, placement
R9.2 Buffer insertion, routing, interconnect planning
R9.3 Physical verification and design rule checking
R9.4 Automated synthesis of clock networks
R9.5 Reticle enhancement, lithography-related design optimizations
R9.6 Design for manufacturability, yield, defect tolerance, cost issues, and DFM impact
R9.7 Physical design of 3-D integrated circuits
R9.8 System-in-package design, package-board codesign
R9.9 Design for resilience under manufacturing variations
R10. Analog, Mixed-Signal, and RF
R10.1 Analog, mixed-signal, and RF design methodologies
R10.2 Automated synthesis
R10.3 Analog, mixed-signal, and RF simulation
R10.4 High-frequency design and advanced antenna design for wireless design
R11. FPGA Design Tools and Applications
R11.1 Rapid prototyping
R11.2 Logic synthesis and physical design techniques for FPGAs
R11.3 Configurable and reconfigurable computing
R12. Testing
R12.1 Test quality/reliability, current based test, delay test, low-power test
R12.2 Digital fault modeling, automatic test generation, fault simulation
R12.3 Digital design for test, test data compression, built-in self test
R12.4 Memory test and repair, FPGA testing
R12.5 Fault-tolerance and online testing
R12.6 Analog/mixed-signal/RF testing, system-in-package (SIP) testing
R12.7 Board- and system-level test, system-on-chip (SOC) testing
R12.8 Silicon debug and diagnosis, post-silicon design validation
R13. Design Automation for Synthetic Biology
R13.1 Design methodologies for synthetic biology
R13.2 Tools for engineering parts and devices
R13.3 Tools for protein and pathway engineering
R13.4 Tools for bridging experimental and computational frameworks
R14. New and Emerging Design Technologies (including but not restricted to)
R14.1 New transistor structures, devices, and novel process technologies
R14.2 Nanotechnologies, nanowires, nanotubes
R14.3 Optical devices and communication
R14.4 Quantum computing
R14.5 Biologically-based or biologically-inspired computing systems
R14.6 MEMS, sensors, actuators, imaging devices
R14.7 Cyber-physical systems
|