버스 기능 모델
Bus functional model버스 기능 모델 또는 BFM(Transaction Verification Model 또는 TVM이라고도 함)은 하나 이상의 외부 버스가 있는 통합 회로 구성요소의 비동기화 소프트웨어 모델이다.모델의 강조점은 실제 하드웨어를 구축하고 테스트하기 전에 시스템 버스 거래를 시뮬레이션하는 것이다.BFM은 일반적으로 복잡한 파형과 프로토콜을 통해 검증 중인 설계에 자극을 적용하는 HDL(Hardware Description Language)에서 작업으로 정의된다.BFM은 일반적으로 Verilog, VHDL, SystemC 또는 SystemVerilog와 같은 하드웨어 설명 언어를 사용하여 구현된다.
일반적으로 BFM은 다음과 같은 양면 인터페이스를 제공한다.한 인터페이스 쪽이 버스 프로토콜에 따라 로우 레벨 신호를 구동하고 샘플링한다.그 반대편에서는 버스거래를 창출하고 대응할 수 있는 과제가 있다.BFM은 종종 시뮬레이션 테스트 벤치를 만들기 위해 재사용 가능한 빌딩 블록으로 사용되며, 여기서 시험 대상 설계의 버스 인터페이스 포트가 적절한 BFM에 연결된다.
BFM의 또 다른 일반적인 적용은 IP 구성요소에 대한 대체 모델 제공이다.IP 구성요소의 넷리스트나 RTL 설계 대신에, 제3자 IP 공급자는 검증 목적에 적합한 BFM만 제공할 수 있다.게이트 레벨 넷리스트 형태의 실제 IP 구성요소는 IP 제공업체가 직접 주조 공장에 제공할 수 있다.
과거에는 BFM을 비합리화 실체로 취급했지만 최근에는 BFM도 합성 가능한 모델로 이용할 수 있게 되었다.
트랜잭션 검증 모델
BFM을 TVM 또는 트랜잭션 검증 모델이라고도 한다.이 모델의 버스 운행이 원자력 버스 거래로 번들여서 버스 거래를 발행하고 보기 쉽게 했다는 점을 강조하기 위해서다.TVM에 의해 모델링된 버스 거래의 시각화는 프로토콜 분석기 또는 버스 저격수의 출력과 유사하다.
참조
- Mitchel, Donna (2001). "Manual and Automatic VHDL/Verilog Test Bench Coding Techniques" (PDF). Dedicated Systems Magazine. 9 (2). Archived from the original (PDF) on 22 January 2004. Retrieved 8 April 2013.
