Séminaire IETR / Professeur Maciej Ciesielski

Dans le cadre des séminaires IETR, le Professeur Maciej Ciesielski, de l'Université du Massachusetts, présentera ses travaux le mercredi 25 mai à 14h.
Séminaire

Objet de l'intervention

Functional verification of arithmetic circuits is a challenging problem in hardware verification. Boolean logic techniques, based on binary decision diagrams (BDDs) and satisfiability (SAT) solvers, cannot handle complex arithmetic designs as they require ``bit-blasting'', i.e., flattening of the design into bit-level netlist. This talk describes the state-of-the art verification technique based on symbolic computer algebra (SCA) and its application to different types of arithmetic circuits. In this approach the circuit implementation (logic gates and arithmetic modules) and the functional specification are represented as pseudo-Boolean polynomials. The proof of functional correctness is obtained by reducing the specification polynomial modulo the implementation polynomials to a zero function. We will examine the original computer algebra method and show how it can be reduced to a simpler algebraic technique using forward and backward rewriting and will suggest new directions of research in this domain.

Maciej Ciesielski est professeur dans le département Electrical & Computer Engineering (ECE) à l'université du Massachusetts, Amherst, USA. Son domaine de recherche porte sur la conception VLSI et l'automatisation de la conception électronique (EDA), et plus particulièrement la synthèse logique et de haut niveau ainsi que la vérification formelle des circuits arithmétiques (http://www.ecs.umass.edu/ece/labs/vlsicad/ciesielski.html). Maciej Ciesielski est invité à Nantes Université jusqu'au 30        juin 2022.

Informations

Pour les personnes souhaitant assister à distance, le lien zoom à utiliser sera : https://univ-nantes-fr.zoom.us/j/87043162291?pwd=cHVXSWpveXFDNHR3U1Q0Nk0xa3JqZz09

Afin de recenser le nombre de participants (en distanciel ou en présentiel), merci aux personnes souhaitant y assister de remplir l'evento suivant:  https://evento.renater.fr/survey/seminaire-ietr-bodksh27.