URL https://opencores.org/ocsvn/t6507lp/t6507lp/trunk

Subversion Repositories t6507lp

[/] [t6507lp/] [trunk/] [fv/] [alu_input.e] - Diff between revs 131 and 132

Go to most recent revision | Show entire file | Details | Blame | View Log

Rev 131	Rev 132
Line 1...	Line 1...
`alu_input.e`	`alu_input.e`
`<'`	`<'`
	`import alu_components.e;`
`type alu_input_t: [ENABLED_VALID, DISABLED_VALID];`	`type alu_input_t: [ENABLED_VALID, DISABLED_VALID];`

`struct alu_input_s {`	`struct alu_input_s {`
`input_kind : alu_input_t;`	`input_kind : alu_input_t;`

`reset_n: bool;`	`reset_n: bool;`
`alu_enable: bool;`	`alu_enable: bool;`
`alu_opcode: byte;`	`alu_opcode: valid_opcodes;`
`alu_a: byte;`	`alu_a: byte;`

`keep soft input_kind == select {`	`keep soft input_kind == select {`
`50: ENABLED_VALID;`	`50: ENABLED_VALID;`
`50: DISABLED_VALID;`	`50: DISABLED_VALID;`
`};`	`};`

`when ENABLED_VALID'input_kind alu_input_s {`	`when ENABLED_VALID'input_kind alu_input_s {`
`keep reset_n == TRUE; // remember this is active low`	`keep reset_n == TRUE; // remember this is active low`
`keep alu_enable == TRUE;`	`keep alu_enable == TRUE;`
`keep alu_opcode in [0..255];`	`//keep alu_opcode in [0..255];`
`keep alu_a in [0..255];`	`keep alu_a in [0..255];`
`};`	`};`
`when DISABLED_VALID'input_kind alu_input_s {`	`when DISABLED_VALID'input_kind alu_input_s {`
`keep reset_n == TRUE; // remember this is active low`	`keep reset_n == TRUE; // remember this is active low`
`keep alu_enable == FALSE;`	`keep alu_enable == FALSE;`
`keep alu_opcode in [0..255];`	`//keep alu_opcode in [0..255];`
`keep alu_a in [0..255];`	`keep alu_a in [0..255];`
`};`	`};`

`event T1_cover_event;`	`event T1_cover_event;`
`cover T1_cover_event is {`	`cover T1_cover_event is {`
Line 38...	Line 38...
`};`	`};`

`};`	`};`
`'>`	`'>`

`event cover_me;`

`cover cover_me is {`
`item a1 using no_collect=TRUE;`
`item b2 using no_collect=TRUE;`
`transition a1 using name=a_trans, no_collect=TRUE;`
`transition b2 using name = b_trans, no_collect=TRUE;`
`cross a_trans,b_trans;`
`};`



`No newline at end of file`	`No newline at end of file`

Browse

Tools

Subversion Repositories t6507lp

[/] [t6507lp/] [trunk/] [fv/] [alu_input.e] - Diff between revs 131 and 132