posted by user: profboland || 2874 views || tracked by 10 users: [display]

DVCon 2009 : Design & Verification conference

FacebookTwitterLinkedInGoogle

Link: http://www.dvcon.org/file/DVCon2009CFP_2.pdf
 
When Feb 24, 2009 - Feb 26, 2009
Where San Jose, CA
Abstract Registration Due Sep 19, 2008
Submission Deadline Dec 8, 2008
Notification Due Oct 29, 2008
Final Version Due Jan 8, 2009
Categories    verification   electronic   design
 

Call For Papers

DVCon is the premier conference on the application of languages, tools and
methodologies for the design and verification of electronic systems and
integrated circuits.The focus of the conference is on the usage of specialized
design and verification languages such as Verilog,SystemVerilog,VHDL,PSL
Syste mC, e, and V E RA, as well as general purpose languages such as C and C++.
Tools and methodologies include the use of te s t bench automation, hardwareassisted
verification, hardware/ software co- verification,assertion-based and
formal verification,and transaction- level system design and verification.
Conference attendees are primarily designers of electronic systems,ASICs and
FPGAs,as well as those involved in the research, development, and application
of Electronic Design Automation (EDA) tools. Presentations are highly technical
in nature,and reflect real life experiences in using these languages and too l s.
TOPIC SUGGESTIONS
We encourage you to contribute your experiences with hardware design and
verification languages, advanced tools and methodologies,and to participate in
the valuable exchange of ideas.
- Experience using ESL and/or TLM for system- level design and verification
- Experiences deploying a veri f i cation methodology libra ry
- Experiences with System- on- Chip design
- Designing and/or verifying complex ASICs and FPGAs
- Using multiple HDLs and/or HVLs in a design cycle
- Techniques for generating constrained- random test,or other automated
stimulus generation method s
- Synthesizing transaction- level or abstract designs from high-level languages such
as SystemC,System Verilog or C++,to RTL
- Experiences with hardware/ software co-design and co- verification
- Experiences with mixed-signal simulation
- Verification techniques that really work (and what did not work)
- Verification process and resource management
- Verification methods that have achieved zero functional bugs in
first silicon
- Assertion-based verification
- Coverage- driven verification
- Design and verification IP experiences, good and bad
- Measuring completeness and quality of verification: functional coverage,
code coverage or other techniques
- Experience with formal technologies applied to verification, including the
application of model checking and simulation together,or the use of
dynamic formal verification tools
- Any topic involving the use of an HDL or HVL

Related Resources

CAV 2021   33rd International Conference on Computer-Aided Verification
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core
ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
QEST 2021   International Conference on Quantitative Evaluation of SysTems
ICDEPI-SCOPUS 2021   5th International Conference on Design Engineering and Product Innovation (ICDEPI 2021)
ISSTA 2021   International Symposium on Software Testing and Analysis
ICMDA--Ei, Scopus 2021   2021 4th International Conference on Materials Design and Applications (ICMDA 2021)--Ei Compendex, Scopus
17th ICTEL Rome 2021   17th ICTEL 2021 – International Conference on Teaching, Education & Learning, 06-07 September, Rome
SCOPUS-ICDES 2021   6th International Conference on Design Engineering and Science (ICDES 2021)
20th ICTEL October, Dubai 2021   20th ICTEL 2021 – International Conference on Teaching, Education & Learning, 23-24 October, Dubai