本章介紹另一個開源PSS解析工具zuspec：

? ? ? ? zuspec 提供了一組用于處理 actions relationship level 的工具 （ARL） 模型，主要是使用?Accellera 便攜式測試和刺激 （PSS）?語言描述的模型。ARL 模型用于為數字設計指定系統級測試。zuspec 具有非常模塊化的設計來支持快速探索這種建模方法的應用。

? ? ? ?zuspec 組件都是用 C++ 實現的，可通過 C++ API 和 Python API 獲得。這樣它們就可以通過 Python 集成，但要全速交互是通過 C++ 來實現(感覺有點像gem5的框架設計)。

應用

????????應用程序是大多數用戶體驗 zuspec 的方式。應用連接一個或多個 zuspec 組件，以及一些集成代碼，以滿足特定需求。zuspec主要由parser，solver和generateTest三部分組成; paser負責PSS語法解析，solver負責對約束語法和調度語法做求解，generateTest負責生成指定類型的測試激勵。

• zuspec -- 支持代碼生成;
• zuspec-SV -- 對 SystemVerilog 測試平臺環境的集成支持;
• zuspec-be-sw?-- 對 SoC?測試平臺環境的集成支持;

前端(Parser)

????????前端進程和輸入描述（例如 PSS 語法），通常目標是填充 zuspec 的 ARL 數據模型，以便進一步處理和評估。

• zuspec-parser -- 基于 ANTLR 的解析器和 Accellera PSS 的 AST(抽象語法樹);
• fe-parser -- AST 到 ARL 數據模型轉換器;

核心數據模型和評估（Solver）

????????ARL 模型通常主要是聲明性描述。換句話說，他們在很大程度上基于約束。評估工具將數據模型處理執行它并進行優化。

• arl-dm -- 捕獲 ARL 建模語義的核心數據模型;
• arl-eval -- 核心評估器，支持對 ARL 模型進行解釋性評估;
• vsc-dm -- 約束隨機描述的外部數據模型;
• vsc-solvers -- 賦值器使用的約束求解器包;

后端(GenerateTest)

????????后端將 zuspec 評估集成到特定環境中或直接生成 ARL 模型的可執行表示。

• be-sv -- SystemVerilog 集成和代碼生成器
• be-sw -- 用于 C 和 C++ 輸出的代碼生成器

--------------------------------------------------------------------------------------------------------------------------------

測試用例

1. 獲取測試用例

git clone https://github.com/zuspec/zuspec-examples.git

2. 執行腳本(注意把python環境配置好)

cd zuspec-examples
./bootstrap.sh

3. 運行測試用例

$./packages/python/bin/ivpm activate
Note: Reading ivpm.yaml from project ./workspace/pss-tool/zuspec/zuspec-examples
Using dep-set default-dev-src for package zuspec-sv
Using dep-set default-dev for package dv-flow-mgr
Using dep-set default-dev for package dv-flow-libhdlsim
Using dep-set default-dev for package dv-flow-libpss

3.1 hello_world.pss測試用例代碼

import std_pkg::*;component pss_top {action test_a {rand int a, b, c;constraint a == 100;constraint (b + c) > a;exec body {message(LOW, "Hello World! a=%d b=%d c=%d \n", a, b, c);}};action Hello {activity {sequence {do test_a;}}}
}

3.2 執行zupsec 生成測試激勵

zuspec synth.sv.actor ./hello_world.pss -action pss_top::Hello

3.3 測試激勵

`include "zsp_sv_macros.svh"
package pss_types;import zsp_sv::*;typedef class pss_import_api;// TODO: define model-specific executor classtypedef executor_base executor_base_c;typedef executor_base executor_t;typedef class addr_region_base_s;typedef class pss_top;typedef class pss_top__aa;typedef class pss_top__bb;typedef class pss_top__Hello;class addr_region_base_s extends object;bit[63:0] size;function new();endfunctionvirtual function void dtor();endfunctionvirtual function void init(executor_base exec_b);endfunctionvirtual function void __assign__(addr_region_base_s rhs);size = rhs.size;endfunctionstatic function addr_region_base_s create_default();addr_region_base_s ret = new();return ret;endfunctionstatic function addr_region_base_s create_init(longint unsigned size);addr_region_base_s ret = new();ret.size = size;return ret;endfunctionfunction void do_pre_solve();pre_solve();endfunctionfunction void do_post_solve(executor_base exec_b);post_solve(exec_b);endfunctionendclassclass pss_top extends component_c;`zsp_typed_obj_util(pss_top)function new(string name, component_ctor_ctxt ctxt, component_c parent=null);super.new(name, ctxt, parent);if (ctxt != null) beginctxt.enter(this);endexecutor_m = new[ctxt.executor_m.size()](ctxt.executor_m);// Note: 'enter' handled by the component_c constructorctxt.leave(this);endfunctionfunction void do_init(executor_base exec_b);init_down(exec_b);init_up(exec_b);endfunctionvirtual function bit check();bit ret = 1;return ret;endfunctionendclasstypedef class pss_top;class pss_top__aa extends action_c;`zsp_typed_obj_util(pss_top__aa)`zsp_action_comp_type(pss_top)pss_top comp;rand bit signed[31:0] a;rand bit signed[31:0] b;rand bit signed[31:0] c;function new();endfunctionconstraint c_0x29d76240 {this.a == 32'h64;}constraint c_0x29d76290 {this.b + this.c > this.a;}function void do_pre_solve();pre_solve();endfunctionfunction void do_post_solve(executor_base exec_b);post_solve(exec_b);endfunctiontask body(executor_base exec_b);executor_t executor;pss_import_api api;$cast(executor, exec_b);$cast(api, exec_b.get_api());begin`zsp_message(exec_b, LOW, ("Hello World! a=%0d b=%0d c=%0d \n", this.a, this.b, this.c));endendtaskvirtual function void set_component(component_c comp);$cast(this.comp, comp);endfunctionvirtual function component_c get_component();return this.comp;endfunctionendclasstypedef class pss_top;class pss_top__bb extends action_c;`zsp_typed_obj_util(pss_top__bb)`zsp_action_comp_type(pss_top)pss_top comp;rand bit signed[31:0] a;rand bit signed[31:0] b;rand bit signed[31:0] c;function new();endfunctionconstraint c_0x29c5f4c0 {this.a == 32'h64;}constraint c_0x29d6af60 {this.b + this.c > this.a;}function void do_pre_solve();pre_solve();endfunctionfunction void do_post_solve(executor_base exec_b);post_solve(exec_b);endfunctiontask body(executor_base exec_b);executor_t executor;pss_import_api api;$cast(executor, exec_b);$cast(api, exec_b.get_api());begin`zsp_message(exec_b, LOW, ("Hello World! a=%0d b=%0d c=%0d \n", this.a, this.b, this.c));endendtaskvirtual function void set_component(component_c comp);$cast(this.comp, comp);endfunctionvirtual function component_c get_component();return this.comp;endfunctionendclasstypedef class pss_top;class pss_top__Hello extends action_c;`zsp_typed_obj_util(pss_top__Hello)`zsp_action_comp_type(pss_top)pss_top comp;function new();endfunctionfunction void do_pre_solve();pre_solve();endfunctionfunction void do_post_solve(executor_base exec_b);post_solve(exec_b);endfunctionvirtual function void set_component(component_c comp);$cast(this.comp, comp);endfunctionvirtual function component_c get_component();return this.comp;endfunctionendclassclass pss_import_api #(type BaseT=zsp_sv::empty_t) extends backend_api #(BaseT);endclassendpackage
`include "zsp_sv_macros.svh"
package pss_top__Entry_prv;import zsp_sv::*;import pss_types::*;typedef class pss_top__Entry_actor;typedef pss_top__Entry_actor actor_t;typedef class activity_0x29d457f0;typedef class activity_0x29cfa310;class activity_0x29d457f0 extends activity_c;function new(actor_c actor, component_c parent_comp);super.new(actor, parent_comp);endfunctionvirtual task run();// Traverse action pss_top::Hellobeginactivity_traverse_compound_c #(pss_top__Hello, activity_0x29cfa310) activity = new(actor, parent_comp);activity.run();activity.dtor();endendtaskendclassclass activity_0x29cfa310 extends activity_c;pss_top__Hello self;function new(actor_c actor, component_c parent_comp, pss_top__Hello self);super.new(actor, parent_comp);this.self = self;endfunctionvirtual task run();endtaskendclassclass pss_top__Entry_actor extends actor_c;pss_top comp_tree;pss_import_api api;executor_base_c default_executor;function new(pss_import_api api=null);component_ctor_ctxt ctxt;super.new("<actor>", null, null);ctxt = new(this, 0);this.api = api;this.default_executor = new("default_executor", this);comp_tree = new("pss_top", ctxt, this);endfunctionvirtual task run();activity_0x29d457f0 root_activity = new(this, comp_tree);comp_tree.init(this.default_executor);comp_tree.do_init(this.default_executor);if (comp_tree.check()) beginif (api == null) beginapi = new();endcomp_tree.start(this.default_executor);foreach(listeners[i]) beginlisteners[i].enter_actor(this);endroot_activity.run();foreach(listeners[i]) beginlisteners[i].leave_actor(this);endend else begin$display("Error: initialization check failed");endendtaskvirtual function pss_import_api get_api();return api;endfunctionvirtual function executor_base get_default_executor();return default_executor;endfunctionvirtual function backend_api get_backend();return api;endfunctionendclass
endpackage
package pss_top__Entry_pkg;import zsp_sv::*;import pss_top__Entry_prv::*;typedef pss_top__Entry_prv::pss_top__Entry_actor pss_top__Entry;
endpackage