From 10956cb84aa7c3dd2300794b9283951dece9e5fa Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 15 Mar 2013 10:23:02 +0100 Subject: Added [[CITE]] tags to abc and fsm_extract passes --- passes/abc/abc.cc | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'passes/abc') diff --git a/passes/abc/abc.cc b/passes/abc/abc.cc index a51557a4..acd93546 100644 --- a/passes/abc/abc.cc +++ b/passes/abc/abc.cc @@ -17,6 +17,14 @@ * */ +// [[CITE]] ABC +// Berkeley Logic Synthesis and Verification Group, ABC: A System for Sequential Synthesis and Verification +// http://www.eecs.berkeley.edu/~alanmi/abc/ + +// [[CITE]] Kahn's Topological sorting algorithm +// Kahn, Arthur B. (1962), "Topological sorting of large networks", Communications of the ACM 5 (11): 558–562, doi:10.1145/368996.369025 +// http://en.wikipedia.org/wiki/Topological_sorting + #include "kernel/register.h" #include "kernel/sigtools.h" #include "kernel/log.h" @@ -187,6 +195,7 @@ static void dump_loop_graph(FILE *f, int &nr, std::map> &edge static void handle_loops() { // http://en.wikipedia.org/wiki/Topological_sorting + // (Kahn, Arthur B. (1962), "Topological sorting of large networks") std::map> edges; std::vector in_edges_count(signal_list.size()); -- cgit v1.2.3