Catapult ַ ǰ, C++ ο ο ô븦

Catapult ַ ǰ, C++ ο ο ô븦

  • ο Catapult DesignChecks C++/SystemC HLS ڵ ʱ⿡ ׸ ãƳ ׽Ʈġ ʿ Ƿ ̳ʵ ۾ ̳ ȴ.
  • ο Catapult Coverage C++/SystemC HLS ڵ忡 ռ νϴ RTL Ŀ Ʈ ν Cκ RTL ս Ŀ Ŭ ޼Ѵ.
  • ο C to RTL Equivalence SLEC HLS Catapult HLS C++/SystemC ҽκ ռ RTL İ ν Cκ RTL ñ Ȯ ִ.
  • Catapult HLS ռ RTL UVM ȯ ϹǷ ϰ SoC RTL ׽Ʈġ ҿǴ / ð ȴ.

, Ͻ Catapult Coverage, Catapult Design Checks SLEC HLS Catapult HLS ǥߴ. ο ɵ HLS(High-Level Synthesis) Ʈ ȭ ֹǷ, Ĩ ̳ʵ ӽ , ӽ , , ̹ μ̰ ø̼ Ʈ 50ۼƮ ̻ ִ. ο ɵ RTL(register-transfer level) ǰ C ϹǷ, Ĩ ڿ ̳ʵ C++/SystemC ڽ ְ żϰ ִ. 

HLS ڽý ϰ ſ ڰ Ѵ Calypto ý ʷ Ŵ ٵ ưж(Badru Agarwala) ߴ. ߿ RTLκ HLS Űܰ ִ. ̴ ڴʰ ̷ Ͽ Ʈ ϰ ڿ 谡ų ֱ ̴. ó ȹ C++ ο ǰ п RTL ̳ʿ ý ڵ ڽ ְ HLS ŰܰⰡ . 

Catapult DesignChecks

ο Catapult DesignChecks ڵ ڵ ۾ ÿ ׸ żϰ ս ߰ϵ ùķ̼ ռ ð ٿش. Catapult DesignChecks Ѵ. ϳ (static mode)μ, ڵ带 ſ (linting) Ѵ. ٸ ϳ (formal mode)μ, ̿ ö POI(proof of issues) ޼Ѵ. C++ SystemC ϸ, ùķ̼ǿ ߰ϱ ǵ/ϰ ʱȭ ޸ ǵ ϵ ˿ Ѵ. Catapult DesignChecks ϱ , ׽Ʈġ ʿ ʴ´. 

Catapult Coverage

ڵ ο Catapult Coverage ̿ ڵ Ŀ(code coverage) Ȯϰ ν C++ ο ռ RTL ż Ŭ ޼ ִ. C/C++ Ŀ ϴ ٸ ޸, Catapult Coverage ռ νѴ. , HLS ( Ǯ(loop-unrolling), Լ ġ(function inlining) Ʈ Ȯ ) Ŀ Ȯϰ Ѵ. ̴ ſ ߿ѵ, ߰ ̵ RTL Ŀ ġϰ DZ ̴. (line), б(branch), (statement) ׸ (ʾ) ǥ(expression) Ŀ Ѵ. Ŀ ͺ̽(UCDB: unified coverage database) ڵ ν ڵ鿡 RTL ǰ Ŀ Ʈ Questa Verification Management Ʈ ̿ м Ѵ. 

SLEC HLS

ο C-to-RTL-Equivalence SLEC(sequential logic equivalence checking) HLS C++/SystemC ҽκ Catapult ռ RTL İ ν RTL ùķ̼/ ؾ ʿ伺 ̰ų ش. SLEC ǰ C-to-RTL ۾ 10 ̻ Դ. SLEC HLS ڵ ϱ Catapult HLS ϰ սŲ ο ߰μ, θ Ѵ. ̰ ãƺ ִ Ѵ. ̸ äõǴ Ŀ Ÿ ޼ ص Ȯ ڵ带 ׽Ʈؾ Ѵ. ̳ʵ SLEC HLS п HLS(high-level synthesis) Űܰ ־ ñ ڽŰ ȴ. 

UVM ӿũ

Catapult   غ Ϸ (UVM) ȯ UVM Framework ̿ ڵ ִ. ̰ RTL ýۿĨ(SoC) ռ RTL ȯ Ѵ. ̷ ȯ ս UVM

׷Ƚ Ͽ

, ེ Ͻ ϵ Ʈ ַ ι ̸, 忡 , ݵü ý ü鿡 ǰ, ¿ 񽺸 ϰ ִ. δ ̱ ũ ε, 8005 (97070-7777) ġ ִ.
Ʈ: http://www.mentor.com/