0002370: Inferred clock ambiguities with the sampled functions - Champions feedback on 1698

EDA.org Mantis

Viewing Issue Simple Details [ Jump to Notes ] [ Wiki ]

[ View Advanced ] [ Issue History ] [ Print ]

Category

Severity

Date Submitted

Last Update

0002370

[SystemVerilog P1800] SV-SC

minor

2008-04-25 18:17

2008-08-18 18:19

Reporter

Neil Korpusik

View Status

public

Assigned To

Priority

normal

Resolution

duplicate

Status

closed

Product Version

P1800-2008/D4

Summary

0002370: Inferred clock ambiguities with the sampled functions - Champions feedback on 1698

Description

This is Champions feedback on 0001698.

The proposal for 0001698 seems to have an issue with assertions in
procedural code. There seems to be something missing on how putting $past into
the procedural code is meant to work. This needs to be reviewed with the sv-sc.
The rules for clock inferencing are appear to be incomplete. $past() without
specifying the cycle it is sampled on is something new. Some didn't see how it
can always be inferring sampled points.

The "sampled functions" are still not fully defined. It isn't clear when
things will be sampled. The goal is for all simulators to use the same rules.

Other Comments:

Some people don't like seeing contexts of $rose, etc. in conjunction with
always_ff. This isn't meant to be synthesizable code. It isn't illegal but
some people don't like that coding style. It isn't synthesizable sequential
logic. It isn't sequential logic that accurately represents logic behavior.

Additional Information

Tags

No tags attached.

Type

Errata

Attached Files

Relationships

duplicate of

0001698

closed

Lisa Piper

The description of sampled value functions is insufficient

Notes
(0007230) Erik_Seligman (developer) 2008-07-16 13:46	SV-SC voted that this issue may be closed with no LRM changes, as it is fully covered by 1698. Passed in vote closing 2008-07-16, 9y/0n/4a.

(0007264) Neil Korpusik (administrator) 2008-07-25 14:59	The resolution of "duplicate" was unanimously approved by the Champions in the July 24th, 2008 conference call.

(0007357) Neil Korpusik (administrator) 2008-08-18 18:19	The resolution of duplicate was unanimously approved by the Working Group in the conference call of August 14, 2008. Closing the mantis item since there is no more work to be done on it.

Issue History
Date Modified	Username	Field	Change
2008-04-25 18:17	Neil Korpusik	New Issue
2008-04-25 18:17	Neil Korpusik	Type	=> Errata
2008-04-25 18:18	Neil Korpusik	Relationship added	related to 0001698
2008-04-26 23:19	shalom	Issue Monitored: shalom
2008-07-16 13:46	Erik_Seligman	Note Added: 0007230
2008-07-16 13:46	Erik_Seligman	Duplicate ID	0 => 1698
2008-07-16 13:46	Erik_Seligman	Status	new => resolved
2008-07-16 13:46	Erik_Seligman	Resolution	open => fixed
2008-07-16 13:46	Erik_Seligman	Fixed in Version	=> P1800-2008/D6
2008-07-19 08:53	Neil Korpusik	Resolution	fixed => duplicate
2008-07-19 08:55	Neil Korpusik	Relationship replaced	duplicate of 0001698
2008-07-25 14:59	Neil Korpusik	Note Added: 0007264
2008-08-18 18:19	Neil Korpusik	Status	resolved => closed
2008-08-18 18:19	Neil Korpusik	Note Added: 0007357

Mantis 1.1.7[^]