Add Mux + SwiftFormat

AUCOHL · Jan 1, 2024 · f61eb99 · f61eb99
1 parent fd28467
commit f61eb99
Show file tree

Hide file tree

Showing 34 changed files with 1,177 additions and 791 deletions.
diff --git a/.swiftversion b/.swiftversion
@@ -0,0 +1 @@
+5.4
diff --git a/Contributing.md b/Contributing.md
@@ -15,13 +15,7 @@ Make your changes and then submit them as a pull requests to the `main` branch.
 
 Consult [GitHub Help](https://help.github.com/articles/about-pull-requests/) for more information on using pull requests.
 
-## The Approval Process
-For a PR to be merged, there are two requirements:
-
-- It must pass all automated checks.
-- An OpenLane team member must inspect and approve the PR.
-
 # Licensing and Copyright
-Please add you (or your employer's) copyright headers to any files to which you have made major edits.
+Please add your (or your employer's) copyright headers to any files to which you have made major edits.
 
-Please note all code contributions must have the same license as Fault, i.e., the Apache License, version 2.0. 
+Please note all code contributions must have the same license as Fault, i.e., the Apache License, version 2.0. 
diff --git a/Package.swift b/Package.swift
@@ -6,7 +6,7 @@ import PackageDescription
 let package = Package(
     name: "Fault",
     platforms: [
-        .macOS(.v11) // executableURL and a bunch of other things are not available before High Sierra
+        .macOS(.v11), // executableURL and a bunch of other things are not available before High Sierra
     ],
     dependencies: [
         // Dependencies declare other packages that this package depends on.
@@ -16,7 +16,7 @@ let package = Package(
         .package(url: "https://github.com/pvieito/CommandLineKit", .branch("master")),
         .package(url: "https://github.com/donn/Defile.git", from: "5.2.1"),
         .package(url: "https://github.com/attaswift/BigInt.git", from: "5.2.1"),
-        .package(url: "https://github.com/jpsim/Yams.git", from: "5.0.6")
+        .package(url: "https://github.com/jpsim/Yams.git", from: "5.0.6"),
     ],
     targets: [
         // Targets are the basic building blocks of a package. A target can define a module or a test suite.
@@ -29,6 +29,6 @@ let package = Package(
         .testTarget(
             name: "FaultTests",
             dependencies: ["Fault"]
-        )
+        ),
     ]
 )
diff --git a/Sources/Fault/Bench.swift b/Sources/Fault/Bench.swift
@@ -1,28 +1,39 @@
+// Copyright (C) 2019 The American University in Cairo
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//         http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 import Foundation
 import PythonKit
 
 struct BenchCircuit: Codable {
     var cells: [BenchCell]
 
-    init(cells: [BenchCell]){
+    init(cells: [BenchCell]) {
         self.cells = cells
     }
 
     static func extract(definitions: PythonObject) throws -> [BenchCell] {
-
         var cells: [BenchCell] = []
         for definition in definitions {
-
             let type = Python.type(definition).__name__
 
             if type == "ModuleDef" {
-
                 let (_, inputs, outputs) = try Port.extract(from: definition)
                 let cellName = definition.name
 
                 var cellStatements: [String] = []
-               
-                var cellOutput: String = ""
+
+                var cellOutput = ""
                 for output in outputs {
                     cellOutput = String(describing: output.name)
                 }
@@ -33,23 +44,21 @@ struct BenchCircuit: Codable {
                 }
 
                 for item in definition.items {
-
                     let type = Python.type(item).__name__
 
                     if type == "InstanceList" {
                         let instance = item.instances[0]
 
-                        let outArgname = String(describing: instance.portlist[0].argname) 
-                        let output = (outArgname == cellOutput) ? outArgname : "__\(outArgname)___" 
-                          
+                        let outArgname = String(describing: instance.portlist[0].argname)
+                        let output = (outArgname == cellOutput) ? outArgname : "__\(outArgname)___"
+
                         var benchStatement = "("
-                        for hook in instance.portlist[1...]{
+                        for hook in instance.portlist[1...] {
                             let argname = String(describing: hook.argname)
-                            
+
                             if cellInputs.contains(argname) {
                                 benchStatement += "\(hook.argname), "
-                            }
-                            else {
+                            } else {
                                 benchStatement += "__\(hook.argname)___, "
                             }
                         }
@@ -60,25 +69,20 @@ struct BenchCircuit: Codable {
                         switch instance.module {
                         case "and":
                             cellStatements.append("\(output) = AND" + benchStatement)
-                            break
                         case "or":
                             cellStatements.append("\(output) = OR" + benchStatement)
-                            break
                         case "xor":
                             let inputA = instance.portlist[1].argname
                             let inputB = instance.portlist[2].argname
                             cellStatements.append(contentsOf: [
                                 "__or_out___ = OR(\(inputA), \(inputB))",
                                 "__nand_out___ = NAND(\(inputA), \(inputB))",
-                                "\(output) = AND(__or_out___, __nand_out___)"
+                                "\(output) = AND(__or_out___, __nand_out___)",
                             ])
-                            break
                         case "buf":
                             cellStatements.append("\(output) = BUFF" + benchStatement)
-                            break
                         case "not":
                             cellStatements.append("\(output) = NOT" + benchStatement)
-                            break
                         default:
                             print("[Warning]: can't expand \(instance.module) in \(cellName) to primitive cells")
                         }
@@ -97,7 +101,6 @@ struct BenchCircuit: Codable {
 
         return cells
     }
-
 }
 
 struct BenchCell: Codable {
@@ -111,46 +114,48 @@ struct BenchCell: Codable {
         inputs: [String],
         output: String,
         statements: [String]
-    ){
+    ) {
         self.name = name
         self.inputs = inputs
         self.output = output
         self.statements = statements
     }
 
-    func extract(name: String, inputs: [String:String], output: [String]) throws -> String {
+    func extract(name: String, inputs: [String: String], output: [String]) throws -> String {
         do {
             let regexOutput = try NSRegularExpression(pattern: "\(self.output) = ")
             let regexWires = try NSRegularExpression(pattern: "___")
             let outputName = (output[0].hasPrefix("\\")) ? "\\\(output[0])" : "\(output[0])"
 
-            var benchStatements = self.statements
+            var benchStatements = statements
             for (index, _) in statements.enumerated() {
-
                 var range = NSRange(benchStatements[index].startIndex..., in: benchStatements[index])
                 benchStatements[index] = regexOutput.stringByReplacingMatches(
                     in: benchStatements[index],
                     options: [],
                     range: range,
-                    withTemplate: "\(outputName) = ")
+                    withTemplate: "\(outputName) = "
+                )
 
-                range = NSRange(benchStatements[index].startIndex..., in:  benchStatements[index]) 
+                range = NSRange(benchStatements[index].startIndex..., in: benchStatements[index])
                 benchStatements[index] = regexWires.stringByReplacingMatches(
                     in: benchStatements[index],
                     options: [],
                     range: range,
-                    withTemplate: "__\(name)")
+                    withTemplate: "__\(name)"
+                )
 
                 for input in self.inputs {
                     let regexInput = try NSRegularExpression(pattern: "(?<=\\(|,)\\s*\(input)(?=\\s*,|\\s*\\))")
                     let name = (inputs[input]!.hasPrefix("\\")) ? "\\\(inputs[input]!)" : "\(inputs[input]!)"
 
-                    range = NSRange(benchStatements[index].startIndex..., in:  benchStatements[index])
+                    range = NSRange(benchStatements[index].startIndex..., in: benchStatements[index])
                     benchStatements[index] = regexInput.stringByReplacingMatches(
                         in: benchStatements[index],
                         options: [],
                         range: NSRange(benchStatements[index].startIndex..., in: benchStatements[index]),
-                        withTemplate: name )
+                        withTemplate: name
+                    )
                 }
             }
 
@@ -166,4 +171,4 @@ struct BenchCell: Codable {
             return ""
         }
     }
-}
+}
diff --git a/Sources/Fault/BoundaryScanRegister.swift b/Sources/Fault/BoundaryScanRegister.swift
@@ -1,3 +1,17 @@
+// Copyright (C) 2019 The American University in Cairo
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//         http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 import Foundation
 import PythonKit
 
@@ -6,7 +20,7 @@ class BoundaryScanRegisterCreator {
     private var inputName: String
     private var outputName: String
     var counter: Int = 0
-    
+
     var clock: String
     var reset: String
     var resetActive: Simulator.Active
@@ -30,22 +44,22 @@ class BoundaryScanRegisterCreator {
         using Node: PythonObject
     ) {
         self.name = name
-        self.inputName = "\(name)_input"
-        self.outputName = "\(name)_output"
+        inputName = "\(name)_input"
+        outputName = "\(name)_output"
 
         self.clock = clock
-        self.clockIdentifier = Node.Identifier(clock)
+        clockIdentifier = Node.Identifier(clock)
 
         self.reset = reset
-        self.resetIdentifier = Node.Identifier(reset)
+        resetIdentifier = Node.Identifier(reset)
 
         self.resetActive = resetActive
 
         self.testing = testing
-        self.testingIdentifier = Node.Identifier(testing)
+        testingIdentifier = Node.Identifier(testing)
 
         self.shift = shift
-        self.shiftIdentifier = Node.Identifier(shift)
+        shiftIdentifier = Node.Identifier(shift)
 
         self.Node = Node
     }
@@ -66,8 +80,8 @@ class BoundaryScanRegisterCreator {
         let ordinalConstant = Node.Constant(ordinal)
 
         let name = input ? inputName : outputName
-        let dinArg = (max == 0) ? dinIdentifier: Node.Pointer(dinIdentifier, ordinalConstant)
-        let doutArg = (max == 0) ?  doutIdentifier: Node.Pointer(doutIdentifier, ordinalConstant)
+        let dinArg = (max == 0) ? dinIdentifier : Node.Pointer(dinIdentifier, ordinalConstant)
+        let doutArg = (max == 0) ? doutIdentifier : Node.Pointer(doutIdentifier, ordinalConstant)
 
         let portArguments = [
             Node.PortArg("din", dinArg),
@@ -77,7 +91,7 @@ class BoundaryScanRegisterCreator {
             Node.PortArg("clock", clockIdentifier),
             Node.PortArg("reset", resetIdentifier),
             Node.PortArg("testing", testingIdentifier),
-            Node.PortArg("shift", shiftIdentifier)
+            Node.PortArg("shift", shiftIdentifier),
         ]
 
         let submoduleInstance = Node.Instance(
@@ -97,7 +111,7 @@ class BoundaryScanRegisterCreator {
     }
 
     var inputDefinition: String {
-        return """
+        """
         module \(inputName) (
             din,
             dout,
@@ -123,12 +137,12 @@ class BoundaryScanRegisterCreator {
             assign sout = store;
             assign dout = testing ? store : din;
         endmodule
-            
+
         """
     }
 
     var outputDefinition: String {
-        return """
+        """
         module \(outputName) (
             din,
             dout,
@@ -153,7 +167,7 @@ class BoundaryScanRegisterCreator {
             assign sout = store;
             assign dout = din;
         endmodule
-            
+
         """
     }
-}
+}