Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A register allocation problem solved by constraint logic programming and interval arithmetic
 

Summary: 1
A register allocation problem solved by constraint logic
programming and interval arithmetic
Corresponding author: El Mostapha Aboulhamid
email: aboulham@iro.umontreal.ca
Telephone: (514) 343-6822
Fax: (514) 343-5834
Address: Département IRO, Universite de Montreal,
C.P. 6128 Succ "Centre ville", Montreal, PQ, H3C-3J7, CANADA
2
A register allocation problem solved by constraint logic
programming and interval arithmetic
I. E. Bennour and E. M. Aboulhamid
Département d'Informatique et Recherche Opérationnelle
Université de Montréal
CP 6128, Centre Ville, H3C-3J7, PQ, CANADA
Abstract: This paper addresses the memory allocation problem in data path synthesis.
It shows that constraint logic programming (CLP) extended by interval arithmetic is an
efficient paradigm to solve hard practical problems in the area of digital circuit design. Case
studies, much more complex than the existing high level synthesis benchmarks, have been

  

Source: Aboulhamid, El Mostapha - Département d'Informatique et recherche opérationnelle, Université de Montréal

 

Collections: Engineering