This is the example of Cycle Accurate (CA) model (can synthesize). It is the Simple CPU (SCPU) is described in SystemC language.
//--------------------------------------
//Project: Simple CPU
//Author: Truong Cong Hoang Viet, Le Hoang Van, Nguyen Hung Quan
//Page: VLSI Technology - https://nguyenquanicd.blogspot.com/
//--------------------------------------
Language: System C
Feature: Can synthesize (SystemC code to RTL code)
Tool: Vivado HLS 2017.4
//--------------------------------------
//Describe the design
//--------------------------------------
http://nguyenquanicd.blogspot.com/search/label/Project1?&max-results=5
//--------------------------------------
//HOW TO Synthesize?
//--------------------------------------
http://nguyenquanicd.blogspot.com/2019/05/systemchigh-level-designbai-7-tong-hop.html
//--------------------------------------
//HOW TO Simulate?
//--------------------------------------
http://nguyenquanicd.blogspot.com/2019/04/systemchigh-level-designbai-6-huong-dan.html
-------------- END ---------------------