More actions
Created page with "===Pronunciation=== * {{a|RP}} {{IPA|en|/əˈsɜːʃən/}} * {{a|GA}} {{IPA|en|/əˈsɜɹʃən/|[əˈsɝʃn̩]}} * {{audio|en-us-assertion.ogg|Audio (US)}} * {{audio|LL-Q1860..." |
No edit summary |
||
| Line 8: | Line 8: | ||
{{noun}} | {{noun}} | ||
# The act of [[assert]]ing; [[positive]] [[declaration]] or [[averment]]. <> [[jawabi]] da ra'ayi. | # The act of [[assert]]ing; [[positive]] [[declaration]] or [[averment]]. <> [[jawabi]] da ra'ayi. | ||
# Something which is asserted; a declaration; a statement [[asserted]]. | # Something which is asserted; a declaration; a statement [[asserted]]. <> wani abinda aka [[zirga]]. | ||
#: ''You're a man of strong '''[[assertions]]'''!'' | #: ''You're a man of strong '''[[assertions]]'''!'' | ||
# A [[statement]] or declaration which lacks support or evidence. <> [[furuci]] ko [[magana]] ba tare da hujja ba. | # A [[statement]] or declaration which lacks support or evidence. <> [[furuci]] ko [[magana]] ba tare da hujja ba. | ||
| Line 17: | Line 17: | ||
#* '''2006''', Srikanth Vijayaraghavan, Meyyappan Ramanathan, ''A Practical Guide for SystemVerilog Assertions'' (page 284) | #* '''2006''', Srikanth Vijayaraghavan, Meyyappan Ramanathan, ''A Practical Guide for SystemVerilog Assertions'' (page 284) | ||
#*: The user should be absolutely confident that the error issued is a real design error. In other words, a user should be confident that his '''assertion''' code is correct and that the '''assertion''' failure is not a false condition. | #*: The user should be absolutely confident that the error issued is a real design error. In other words, a user should be confident that his '''assertion''' code is correct and that the '''assertion''' failure is not a false condition. | ||
=== Synonyms === | |||
# [[accusation]] | |||
# [[allegation]] | |||
# [[censure]] | |||
# [[charge]] | |||
# [[impeachment]] | |||