chipsalliance / chipsalliance/Surelog

Identifying `reg` type in UHDM model

Open
#3,893 6 comments 0 reactions 0 assignees View on GitHub
Dominant language
C++
Stars
475
Forks
90
Avg merge
1h 39m
Merged PRs (30d)
37

Description

There doesn't seem to be a way to identify `reg` type in UHDM model. The type is modeled as `logic_typespec` but there's nothing in the model to differentiate it with regular `logic` type.

```
module top ();
reg a = 0;
endmodule
```

https://github.com/chipsalliance/Surelog/blob/d5f0e268c75076b6c41cc5d7e7072bbda37b35b9/src/DesignCompile/CompileType.cpp#L1094-L1108

Contributor guide

No contributing guide indexed for this repository

Research direction

Start in src/DesignCompile/CompileType.cpp at lines 1094-1108 and inspect how the example `reg a = 0;` becomes a `logic_typespec` in the UHDM model. Compare that representation with regular `logic` and determine what model information is needed to distinguish them. Done means the UHDM model can identify the `reg` type separately.

Written by the indexing model from the issue text.

Assessment

Tech stack
cpp
Domain
compilers
Issue type
Bug
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.