Functional verification: Revision history

10 June 2024

• curprev 14:4814:48, 10 June 2024 Teratix talk contribs 8,027 bytes −511 →Tools: this is functioning as a spam list undo

29 December 2023

• curprev 21:3221:32, 29 December 2023 Vanished user 88ea9d4ca7a2ed854a43ba56e408dae6 talk contribs 8,538 bytes +391 Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo Tag: IABotManagementConsole [1.3]

9 July 2023

• curprev 09:5709:57, 9 July 2023 Citation bot talk contribs 8,147 bytes 0 Alter: template type. | Use this bot. Report bugs. | #UCB_CommandLine 560/1654 undo

17 June 2023

• curprev 14:1114:11, 17 June 2023 Trappist the monk talk contribs m 8,147 bytes +1 →top: cite repair; undo Tag: AWB

28 February 2023

• curprev 14:5914:59, 28 February 2023 Cerevisae talk contribs 8,146 bytes 0 →Background undo
• curprev 14:5714:57, 28 February 2023 Cerevisae talk contribs 8,146 bytes +6 →Background undo
• curprev 14:5614:56, 28 February 2023 Cerevisae talk contribs 8,140 bytes +82 →Background: connect two sentences together. undo

23 February 2023

• curprev 16:5616:56, 23 February 2023 110.159.236.193 talk 8,058 bytes +161 →Background: logic bugs undo

10 February 2023

• curprev 11:4511:45, 10 February 2023 Cerevisae talk contribs 7,897 bytes +19 →Background undo

9 February 2023

• curprev 11:5411:54, 9 February 2023 Cerevisae talk contribs 7,878 bytes +540 expanded the citation undo Tag: Disambiguation links added
• curprev 11:4811:48, 9 February 2023 Cerevisae talk contribs 7,338 bytes +29 No edit summary undo

3 February 2023

• curprev 22:1522:15, 3 February 2023 Cerevisae talk contribs 7,309 bytes +79 up to 70% of design and development time undo

23 January 2023

• curprev 04:1804:18, 23 January 2023 Mukis talk contribs m 7,230 bytes −5 →Tools: removed bad links undo
• curprev 04:1604:16, 23 January 2023 Mukis talk contribs m 7,235 bytes +14 →Tools undo

10 November 2022

• curprev 15:5115:51, 10 November 2022 Citation bot talk contribs 7,221 bytes −137 Alter: template type. Removed proxy/dead URL that duplicated identifier. Removed access-date with no URL. Removed parameters. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

20 October 2022

• curprev 03:5803:58, 20 October 2022 Kazamzam talk contribs 7,358 bytes −32 Removed unreferenced tag undo Tag: Visual edit

13 October 2022

• curprev 12:2412:24, 13 October 2022 AManWithNoPlan talk contribs 7,390 bytes +4 auto format tool undo
• curprev 12:2412:24, 13 October 2022 AManWithNoPlan talk contribs 7,386 bytes −16 fix doi undo
• curprev 04:5304:53, 13 October 2022 Citation bot talk contribs 7,402 bytes +115 Alter: pages, template type. Add: chapter-url, isbn, doi-broken-date, chapter, citeseerx. Removed or converted URL. Formatted dashes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Use American English from April 2019 | #UCB_Category 170/940 undo

12 October 2022

• curprev 04:0104:01, 12 October 2022 RTotzke talk contribs 7,287 bytes +323 Adding another reference to the first parqraph to support the statements. The reference leads to the summary of the description undo
• curprev 03:5103:51, 12 October 2022 RTotzke talk contribs 6,964 bytes +39 added Category:Logic in computer science using HotCat undo
• curprev 03:5103:51, 12 October 2022 RTotzke talk contribs 6,925 bytes +289 Adding in Lund University reference to support the statement undo
• curprev 03:4903:49, 12 October 2022 RTotzke talk contribs 6,636 bytes −19 Remove the beginning of this sentence as it is word for word from a source that isn't very good. Using another source from a university which uses same wording but more reliable undo
• curprev 03:4403:44, 12 October 2022 RTotzke talk contribs 6,655 bytes +312 Adding first available reference from journal which describes the process undo
• curprev 03:3403:34, 12 October 2022 RTotzke talk contribs 6,343 bytes −97 →Tools: Remove the promotional links to these company websites. Leaving them as redlinks in case someone wants to start an article assuming any are notable undo

10 February 2022

• curprev 22:1822:18, 10 February 2022 Qwerfjkl (bot) talk contribs m 6,440 bytes 0 Capitalising short description "stage of electronic circuit design validation" per WP:SDFORMAT (via Bandersnatch) undo

10 April 2020

• curprev 15:2815:28, 10 April 2020 Iridescent talk contribs m 6,440 bytes −2 →top: Cleanup and typo fixing, typo(s) fixed: ’s → 's undo Tag: AWB

3 April 2019

• curprev 06:5006:50, 3 April 2019 Daviddwd talk contribs 6,442 bytes +51 links undo Tag: Visual edit
• curprev 06:2606:26, 3 April 2019 Daviddwd talk contribs 6,391 bytes +112 short desc undo Tag: Visual edit

14 April 2018

• curprev 19:1719:17, 14 April 2018 AnomieBOT talk contribs m 6,279 bytes +16 Dating maintenance tags: {{Unreferenced}} undo
• curprev 18:5618:56, 14 April 2018 Jarble talk contribs 6,263 bytes +17 There are still no references in this article. undo

5 February 2018

• curprev 11:1611:16, 5 February 2018 Digital nic talk contribs m 6,246 bytes −8 →Tools undo Tag: Visual edit

16 July 2017

• curprev 20:1620:16, 16 July 2017 Lembit Staan talk contribs m 6,254 bytes −92 Reverted edits by Ashokmehta72 (talk) to last version by 205.175.119.77 undo
• curprev 20:1620:16, 16 July 2017 Ashokmehta72 talk contribs m 6,346 bytes +92 DefineView Consulting has published two books on Functional Verification and provides services in this field. In the process of developing RTL functional verification Debug tools undo

7 December 2016

• curprev 04:5704:57, 7 December 2016 205.175.119.77 talk 6,254 bytes −35 No edit summary undo

18 November 2016

• curprev 01:0101:01, 18 November 2016 Me, Myself, and I are Here talk contribs 6,289 bytes −21 dashes, simplify heading, ce undo

28 April 2016

• curprev 16:3916:39, 28 April 2016 Deepsrc talk contribs m 6,310 bytes +124 Adding an external reference to Sting (from Valtrix Systems) in the list of functional verification tools undo Tag: Visual edit

11 March 2016

• curprev 22:4822:48, 11 March 2016 Lembit Staan talk contribs 6,186 bytes −9 Reverted 1 edit by 12.39.191.138 (talk). (TW) undo

10 March 2016

• curprev 03:3003:30, 10 March 2016 12.39.191.138 talk 6,195 bytes +9 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

27 January 2016

• curprev 03:3503:35, 27 January 2016 Lembit Staan talk contribs 6,186 bytes −285 Reverted good faith edits by Defineview (talk): People can find newer and better books and more themselves. (TW) undo

26 January 2016

• curprev 20:0020:00, 26 January 2016 Defineview talk contribs m 6,471 bytes +96 Add a Book on Functional Verification undo Tag: Visual edit
• curprev 19:5219:52, 26 January 2016 Defineview talk contribs m 6,375 bytes +189 Adding resources (Books) to help readers further explore the subject. undo Tag: Visual edit

22 May 2015

• curprev 20:2920:29, 22 May 2015 CoLocate talk contribs 6,186 bytes +35 "impossible to achieve in a lifetime"? Who knows that? undo

20 November 2014

• curprev 07:3707:37, 20 November 2014 Tts22 talk contribs 6,151 bytes +47 No edit summary undo

14 August 2014

• curprev 01:3901:39, 14 August 2014 Lembit Staan talk contribs 6,104 bytes −200 →External links: spam undo
• curprev 01:3901:39, 14 August 2014 Lembit Staan talk contribs 6,304 bytes −296 Reverted 1 edit by Dorecchio (talk): Spam. (TW) undo

3 August 2014

• curprev 14:0214:02, 3 August 2014 Dorecchio talk contribs m 6,600 bytes +296 →External links undo

26 September 2013

• curprev 23:2823:28, 26 September 2013 Tedickey talk contribs 6,304 bytes −65 Undid revision 574543816 by Msballance (talk) undo
• curprev 02:0202:02, 26 September 2013 Msballance talk contribs 6,369 bytes +65 No edit summary undo

16 September 2013

• curprev 12:0412:04, 16 September 2013 82.135.102.180 talk 6,304 bytes −2 →Functional verification tools undo