aboutsummaryrefslogtreecommitdiff
path: root/src/main/antlr4/FIRRTL.g4
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/antlr4/FIRRTL.g4')
-rw-r--r--src/main/antlr4/FIRRTL.g47
1 files changed, 7 insertions, 0 deletions
diff --git a/src/main/antlr4/FIRRTL.g4 b/src/main/antlr4/FIRRTL.g4
index aa53f2f0..f5116485 100644
--- a/src/main/antlr4/FIRRTL.g4
+++ b/src/main/antlr4/FIRRTL.g4
@@ -225,8 +225,11 @@ keywordAsId
| 'UInt'
| 'SInt'
| 'Clock'
+ | 'Reset'
+ | 'AsyncReset'
| 'Analog'
| 'Fixed'
+ | 'Interval'
| 'flip'
| 'wire'
| 'reg'
@@ -259,6 +262,10 @@ keywordAsId
| 'read'
| 'write'
| 'rdwr'
+ | 'attach'
+ | 'assert'
+ | 'assume'
+ | 'cover'
;
// Parentheses are added as part of name because semantics require no space between primop and open parentheses