Mikhail Moiseev

Start with checking ```requiredVars```, why it is not used in ```serializeProcSingle```? Implemented with useVarStmts/defVarStmts in ScTraverseConst and writeToValue/readFromValue in ScParseExprValue. Currently turned off with REMOVE_UNUSED_VAR_STMTS(). It needs to enable and...

Logic synthesis tools do not support any code outside of main IF in always_ff block. It needs to move assertions into both branches. Try to fix assertions after reset considered...

Support functions w/o parameters and with only return statement inside. ```cpp bool f() { return sig.read(); } ```

Record assignment genertaed instead of individual fields assignments. See ```record_func_param_cthread.cpp::record_fcall_const_ref1()```.

Yes, it would be interesting to integrate the SystemC compiler into an open source design flow. That lets universities and individual researchers to build own silicon in a simple way....

Intel Compiler for SystemC becomes member of CHIPS Alliance, repository at [systemc-compiler](https://github.com/chipsalliance/systemc-compiler)

If there comb variable assigned in reset and main loop, there are local variable in always_ff declared and member variable used in always_comb. Currently they have same names which leads...

1. No record variable used in generated code, see ```record_member_array_method3.cpp``` and ```record_return_method.cpp``` and ```record_member_array_cthread.cpp``` 2. No local record declaration Record copy requires fill UseDef for all fields, use ```getZeroIndexAllFields()``` See...

Hello, It is possible to provide a ```SCT_ASSERT_STABLE``` macro which will work for **single** signal/port or expression of them: ```cpp // Module scope SCT_ASSERT_STABLE(mem_valid && !mem_ready , mem_addr, clk->posedge_event()); //...

Please check the updated repo. Stable/rose/fell added as described at https://github.com/intel/systemc-compiler/wiki/Assertions-in-SystemC Hope you could help with checking corner cases. One limitation is REXPR can be ```bool``` only. If that is...