Documentation ¶
Overview ¶
THESE PACKAGES ARE FOR DEMONSTRATION PURPOSES ONLY!
THEY DO NOT NOT CONTAIN WORKING INTRINSICS!
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func Rdseed16Step ¶
Rdseed16Step: Read a 16-bit NIST SP800-90B and SP800-90C compliant random value and store in 'val'. Return 1 if a random value was generated, and 0 otherwise.
IF HW_NRND_GEN.ready = 1 THEN val[15:0] := HW_NRND_GEN.data RETURN 1 ELSE val[15:0] := 0 RETURN 0 FI
Instruction: 'RDSEED'. Intrinsic: '_rdseed16_step'. Requires RDSEED.
FIXME: Will likely need to be reworked (has pointer parameter).
func Rdseed32Step ¶
Rdseed32Step: Read a 32-bit NIST SP800-90B and SP800-90C compliant random value and store in 'val'. Return 1 if a random value was generated, and 0 otherwise.
IF HW_NRND_GEN.ready = 1 THEN val[31:0] := HW_NRND_GEN.data RETURN 1 ELSE val[31:0] := 0 RETURN 0 FI
Instruction: 'RDSEED'. Intrinsic: '_rdseed32_step'. Requires RDSEED.
FIXME: Will likely need to be reworked (has pointer parameter).
func Rdseed64Step ¶
Rdseed64Step: Read a 64-bit NIST SP800-90B and SP800-90C compliant random value and store in 'val'. Return 1 if a random value was generated, and 0 otherwise.
IF HW_NRND_GEN.ready = 1 THEN val[63:0] := HW_NRND_GEN.data RETURN 1 ELSE val[63:0] := 0 RETURN 0 FI
Instruction: 'RDSEED'. Intrinsic: '_rdseed64_step'. Requires RDSEED.
FIXME: Will likely need to be reworked (has pointer parameter).
Types ¶
This section is empty.