A Verification Methodology for Reconfigurable Systems

Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli. A Verification Methodology for Reconfigurable Systems. In Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), Common Challenges and Solutions, 08-10 September 2004, Austin, Texas, USA. pages 85-90, IEEE Computer Society, 2004. [doi]

@inproceedings{BorgattiFRLMFMP04,
  title = {A Verification Methodology for Reconfigurable Systems},
  author = {Michele Borgatti and Andrea Fedeli and Umberto Rossi and Jean-Luc Lambert and Imed Moussa and Franco Fummi and Cristina Marconcini and Graziano Pravadelli},
  year = {2004},
  doi = {10.1109/MTV.2004.2},
  url = {http://doi.ieeecomputersociety.org/10.1109/MTV.2004.2},
  researchr = {https://researchr.org/publication/BorgattiFRLMFMP04},
  cites = {0},
  citedby = {0},
  pages = {85-90},
  booktitle = {Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), Common Challenges and Solutions, 08-10 September 2004, Austin, Texas, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2320-X},
}