Un modelo funcional de bus ( BFM , también conocido como modelo de verificación de transacciones o TVM ) es un modelo de software no sintetizable de un componente de circuito integrado que tiene uno o más buses externos. El énfasis del modelo está en simular las transacciones del bus del sistema antes de construir y probar el hardware real. Los BFM suelen definirse como tareas en lenguajes de descripción de hardware (HDL), que aplican estímulos al diseño bajo verificación a través de formas de onda y protocolos complejos. Un BFM se implementa típicamente utilizando lenguajes de descripción de hardware como Verilog , VHDL , SystemC o SystemVerilog .
Por lo general, los BFM ofrecen una interfaz de dos lados: un lado de la interfaz controla y muestrea señales de bajo nivel según el protocolo del bus. En el otro lado, hay tareas disponibles para crear y responder a transacciones de bus. Los BFM se utilizan a menudo como bloques de construcción reutilizables para crear bancos de pruebas de simulación, en los que los puertos de interfaz de bus de un diseño bajo prueba se conectan a los BFM adecuados.
Otra aplicación común de los BFM es la provisión de modelos sustitutos para componentes IP : en lugar de una lista de conexiones o un diseño RTL de un componente IP, un proveedor de IP externo podría proporcionar únicamente un BFM adecuado para fines de verificación. El proveedor de IP puede proporcionar directamente a la fundición el componente IP real en forma de una lista de conexiones a nivel de puerta .
En el pasado, los BFM se consideraban una entidad no sintetizable; sin embargo, recientemente los BFM también están disponibles como modelos sintetizables.
A los BFM a veces se los denomina TVM o modelos de verificación de transacciones. Esto sirve para enfatizar que las operaciones de bus del modelo se han agrupado en transacciones de bus atómicas para facilitar la emisión y visualización de transacciones de bus. Las visualizaciones de las transacciones de bus modeladas por TVM son similares a la salida de un analizador de protocolos o un rastreador de bus.