VerilCIRC Metrics : Metric-aware verification of digital circuits

Abstract

El projecte VerilCIRC Metrics té l'objectiu de crear una eina útil per a l'ensenyament a distància del disseny de circuits digitals. S'integra en un projecte més ampli anomenat VerilCIRC, que actualment ja proporciona als alumnes les eines necessàries per resoldre els exercicis que se'ls assignen. VerilCIRC ja disposa d'un sistema per avaluar les solucions proposades pels alumnes en termes de funcionalitat. Amb el projecte VerilCIRC Metrics es vol afegir la capacitat d'avaluar les solucions en funció de la seva qualitat, en termes d'optimització de recursos i estalvi d'àrea i retard dels circuits.

El proyecto VerilCIRC Metrics tiene el objetivo de crear una herramienta útil para la enseñanza a distancia del diseño de circuitos digitales. Se integra en un proyecto más amplio llamado VerilCIRC, que actualmente ya proporciona a los alumnos las herramientas necesarias para resolver los ejercicios que se les asignan. VerilCIRC ya dispone de un sistema para evaluar las soluciones propuestas por los alumnos en términos de funcionalidad. Con el proyecto VerilCIRC Metrics se quiere añadir la capacidad de evaluar las soluciones en función de su calidad, en términos de optimización de recursos y ahorro de área y retraso de los circuitos.

The VerilCIRC Metrics project aims to create a useful tool for distance learning of digital circuit design. It integrates into a larger project called VerilCIRC, which now provides students with the tools needed to solve the exercises assigned to them.