NDLI: Chairs' welcome message

Please wait, while we are loading the content...

2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)

2011 IEEE International High Level Design Validation and Test Workshop

Chairs' welcome message

Table of contents

Sufficiency-based filtering of invariants for Sequential Equivalence Checking

Modular equivalence verification of polynomial datapaths with multiple word-length operands

Using SystemVerilog assertions to relate non-cycle-accurate to cycle-accurate designs

Causality analysis of synchronous programs with refined clocks

UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design

A scalable hybrid verification system based on HDL slicing

Coverage discounting: A generalized approach for testbench qualification

Introducing XCS to Coverage Directed test Generation

IP-XACT based system level mutation testing

Automatic generation of transducer models for multicore system design

Interactive presentation abstract: Assertion-based verification in embedded-software design

Interactive presentation abstract: Reusing of properties after discretization of hybrid automata

Analog transaction level modeling

Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams

SAT-based techniques for determining backbones for post-silicon fault localisation

Post-silicon code coverage evaluation with reduced area overhead for functional verification of SoC

Cardio: Adaptive CMPs for reliability through dynamic introspective operation

Modeling, synthesis, and validation of heterogeneous biomedical embedded systems

Towards scalable utilization of embedded manycores in throughput-sensitive applications

Software agnostic approaches to explore pre-silicon system performance

Formal verification guided automatic design error diagnosis and correction of complex processors

Utilizing GPGPUs for design validation with a modified Ant Colony Optimization

Verification of composite Galois field multipliers over GF $((2^{m})^{n})$ using computer algebra techniques

2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)

2009 IEEE International High Level Design Validation and Test Workshop

2008 IEEE International High Level Design Validation and Test Workshop

2007 IEEE International High Level Design Validation and Test Workshop

2006 IEEE International High Level Design Validation and Test Workshop

Tenth IEEE International High-Level Design Validation and Test Workshop, 2005.

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)

Eighth IEEE International High-Level Design Validation and Test Workshop

Seventh IEEE International High-Level Design Validation and Test Workshop, 2002.

Sixth IEEE International High-Level Design Validation and Test Workshop

Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786)

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in